MGMS/GML - Towards a new policy specification framework for multicast group integrity

Proceedings - International Symposium on Applications and the Internet

Volumn , Issue , 2004, Pages 233-239

  Meissner, Andreas ^a   Musunoori, Sharath Babu ^b   Wolf, Lars ^c  

^a FRAUNHOFER IPSI   (Germany)

^b SIMULA RESEARCH LABORATORY   (Norway)

^c TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Group Integrity; Group Management; Multicast; Policy Specification

Indexed keywords

GROUP INTEGRITY; GROUP MANAGEMENT; MULTICASTS; POLICY SPECIFICATION;

ALGORITHMS; CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SUPPORTED COOPERATIVE WORK; GROUP TECHNOLOGY; INTERNET; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; PROGRAM COMPILERS; SEMANTICS; SUPERVISORY AND EXECUTIVE PROGRAMS;

MULTICASTING;

EID: 2642512318     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SAINT.2004.1266121     Document Type: Conference Paper

References (18)

1. Ao, Xuhui; Minsky, Naftaly; Nguyen, Thu: "A Hierarchical Policy Specification Language, and Enforcement Mechanism, for Governing Digital Enterprises." In Proc. of the IEEE 3rd Int. Workshop on Policies for Distributed Systems and Networks. Monterey CA, June 2002.
2. Cain, B.; Deering, S.; Kouvelas, I.; Fenner, B.; Thyagarajan, A.: "Internet Group Management Protocol, Version 3". RFC3376, October 2002.
3. Damianou, Nicodemos: "A Policy Framework for Management of Distributed Systems". PhD Thesis, Imperial College, London, February 2002.
4. Damianou, Nicodemos; Dulay, Naranker; Lupu, Emil; Sloman, Morris (2001). "The Ponder Policy Specification Language" In: Proc. Policy 2001: workshop on policies for distributed systems and networks, Bristol, UK, 29-31 Jan.2001, Springer-Verlag LNCS 1995.
5. Deering, S.; Fenner, B.; Haberman, B.: "Multicast Listener Discovery (MLD) for IPv6". RFC2710, October 1999. [See 〈draft-vida-mld-v2-05. txt〉 for MLDv2].
6. El-Sayed, Ayman; Roca, Vincent; Mathy, Laurent: "A Survey of Proposals for an Alternative Group Communication Service". IEEE Network, Jan/Feb 2003, pp 46-51.
7. Gray, Philip; Welland, Ray: "Increasing the Flexibility of Modelling Tools via Constraint-Based Specification". CASCON '99, Nov 8-11, 1999, Toronto, Canada.
8. van Harmelen, F.; Lopez de Mantaras, R.; Malec, J.; Treur, J. (1993): "Comparing Formal Specification Languages for Complex Reasoning Systems". In: Formal Specification of Complex Reasoning Systems, pp 257-282. Ellis Horwood, Eds: J. Treur and Th. Wetter.
9. Heydon, Allan; Maimone, Mark W.; Tygar, J. D.; Wing, Jeannette M.; Zaremski, Amy Moormann: "Miró: Visual Specification of Security". IEEE Transactions on Software Engineering. 16(10), pages 1185-1197, October 1990.
10. Java Compiler Compiler (JAVACC), URL: http://www.webgain.com/products/ java_cc
11. Li, Du; Muntz, Richard R. (1998). "COCA: Collaborative Objects Coordination Architecture". In: Proc. of ACM Conf on CSCW, Seattle, USA, 1998, pp 179-188.
12. Meissner, Andreas; Wolf, Lars; Steinmetz, Ralf (2001). "A novel Group Integrity Concept for Multimedia Multicasting" In: Proc. 8th International Workshop on Interactive Distributed Multimedia Systems (IDMS 2001), Springer LNCS, September 4 - 7, Lancaster, UK, pp. 233 - 244, ISBN 3-540-42530-6, 2001.
13. rd Int. Conference on Information, Communications & Signal Processing (ICICS 2001), Singapore, Oct. 15-18, Nanyang Tech Univ, Singapore, ISBN 981-04-5149-0, 2001.
14. Musunoori, Sharath Babu: "Evaluation of Languages for Specifying Integrity Conditions for Multicast Groups", Master Thesis, University of Applied Sciences, Darmstadt, Germany, Jan. 2003.
15. Roca, V.; El-Sayed, A.: "A Host-Based Multicast (HBM) Solution for Group Communications", Proc. 1st IEEE International Conference on Networking (ICN'01), Colmar, France, July 2001.
16. Schoenfeld, Wolfgang: "Gleichungen in der Algebra der binären Relationen". Habilitationsschrift, Minerva-Fachserie Naturwissenschaften, 1981, in German.
17. t - A Formal Language for the Specification of Diagrammatic Modelling Techniques". Information and Software Technology, 40(9), pp. 463-474 (1998).
18. Wessner, Martin; Pfister, Hans-Ruediger (2001): "Group Formation in Computer-Supported Collaborative Learning" In: Skip Ellis, Tom Rodden, use Zigurs (Eds.): Proceedings of the ACM Group 2001 Conference, Sep 30 - Oct 3, 2001, Boulder CO, USA, pp. 24-31, ACM Press, 2001, ISBN 1-58113-294-8.