EVALUATION OF LANGUAGES FOR SPECIFYING INTEGRITY CONDITIONS FOR MULTICAST GROUPS

.........................................................................................................................1 Acknowledgements .................................................................................................2 Certification Statement ........................................................................................3

[1]  Ray Welland,et al.  VCt - a formal language for the specification of diagrammatic modelling techniques , 1998, Inf. Softw. Technol..

[2]  Serge Fdida Multimedia transport protocol and multicast communication , 1995, High-Speed Networking for Multimedia Applications.

[3]  Alan S. Abrahams,et al.  Event-centric Policy Specification for E-commerce Applications , 2002 .

[4]  David Walker,et al.  A type system for expressive security policies , 2000, POPL '00.

[5]  Ralf Steinmetz,et al.  A Novel Group Integrity Concept for Multimedia Multicasting , 2001, IDMS.

[6]  René Wies,et al.  Using a classification of management policies for policy specification and policy transformation , 1995, Integrated Network Management.

[7]  Erwin Engeler,et al.  Languages with expressions of infinite length , 1966 .

[8]  Katia Obraczka,et al.  Multicast transport protocols: a survey and taxonomy , 1998, IEEE Commun. Mag..

[9]  Richard R. Muntz,et al.  COCA: collaborative objects coordination architecture , 1998, CSCW '98.

[10]  Nicodemos Constantinou Damianou,et al.  A policy framework for management of distributed systems , 2002 .

[11]  Frank van Harmelen,et al.  Comparing formal specification languages for complex reasoning systems , 1993 .

[12]  J. Doug Tygar,et al.  Specifying and Checking UNIX Security Constraints , 1994, Comput. Syst..

[13]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[14]  Bernd Meyer,et al.  Defining Policies for Performance Management in Open Distributed Systems , 1994 .

[15]  Ralf Steinmetz,et al.  Security Issues in Group Integrity Management for Multimedia Multicasting , 2001 .

[16]  Richard R. Muntz,et al.  A collaboration specification language , 1999, DSL '99.

[17]  Hartmut König,et al.  GCSVA-a multiparty videoconferencing system with distributed group and QoS management , 1998, Proceedings 7th International Conference on Computer Communications and Networks (Cat. No.98EX226).

[18]  Richard R. Muntz,et al.  Runtime dynamics in collaborative systems , 1999, GROUP '99.

[19]  Olivier Bonaventure,et al.  A Group Communication Framework , 1994, Broadband Islands.

[20]  Calvin Ko,et al.  User-Level Truffles: Final Report , 1997 .

[21]  Emil C. Lupu,et al.  The Ponder Policy Specification Language , 2001, POLICY.

[22]  Thu D. Nguyen,et al.  A Hierarchical Policy Specification Language and Enforcement Mechanism for Governing Digital Enterprises , 2002, POLICY.

[23]  Serge Fdida,et al.  GCAP: A New Multimedia Multicast Architecture for QoS , 2001, PROMS.

[24]  Betty H. C. Cheng,et al.  An object-oriented toolkit for constructing specification editors , 1992, [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference.

[25]  Ray Welland,et al.  Increasing the flexibility of modelling tools via constraint-based specification , 1999, CASCON.

[26]  Jeanine Souquières,et al.  Description of specification developments , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[27]  Emil C. Lupu,et al.  Policy Specification for Programmable Networks , 1999, IWAN.

[28]  Ralf Steinmetz,et al.  A framework for group integrity management in multimedia multicasting , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.