A domain specific language for securing distributed systems

Second International Conference on Systems and Networks Communications, ICSNC 2007

Volumn , Issue , 2007, Pages

  Hamdi, Hédi ^a   Mosbah, Mohamed ^a   Bouhoula, Adel ^b  

^a UNIVERSITÉ DE BORDEAUX   (France)

^b UNIVERSITY OF CARTHAGE   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM ORIENTED LANGUAGES; SECURITY SYSTEMS;

DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS; DOMAIN SPECIFIC LANGUAGES; DOMAIN-SPECIFIC LANGUAGE APPROACHES; GENERAL PURPOSE LANGUAGES; REAL-WORLD SCENARIO; SECURITY INFRASTRUCTURE; SECURITY REQUIREMENTS;

NETWORK SECURITY;

EID: 47949108453     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSNC.2007.2     Document Type: Conference Paper

References (18)

1. R. J. Anderson. A security policy model for clinical information systems. In 1996 IEEE Symposium on Security and Privacy, pages 30-42. IEEE Computer Society Press, 1996.
2. A. v. D. B.R.T. Arnold and M. Res. An algebraic specication of a language describing financial products. In e. In M. Wirsing, editor, ICSE-17 IEEE Workshop on Formal Methods Application in Software Engineering, pages 6-13. April 1995.
3. Cholvy and Cuppens. Analyzing consistency of security policies. In RSP: 18th IEEE Computer Society Symposium on Research in Security and Privacy, 1997.
4. N. Damianou, N. Dulay, E. C. Lupu, and M. Sloman. Ponder: a language for specifying security and management policies for distributed systems. Imperial College Research Report, 2000.
5. N. C. Damianou. Policy Framework for the Management of Distributed Systems. PhD thesis, Imperial College. London, U. K., February 2002.
6. A. V. Deursen, P. Klint, and J. Visser. Domain-specific languages: An annotated bibliography. ACM SIGPLAN Notices, 35(6):26-36, June 2000.
7. Z. Fu, S. F. Wu, H. Huang, K. Loh, F. Gong, I. Baldine, and C. Xu. IPSec/VPN security policy: Correctness, conflict detection, and resolution. In POLICY, pages 39-56, 2001.
8. K. C. G. Morrisett, D.Walker and N. Glew. From system f to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.
9. L. Kagal, T. W. Finin, and A. Joshi. A policy based approach to security for the semantic web. In International Semantic Web Conference, pages 402-418, 2003.
10. T. F. Lalana Kagal and A. Joshi. Web services security. In http://www-106.ibm.com/developerworks/webservices/library/ws-secure/.
11. T. F. Lalana Kagal and A. Joshi. A policy based approach to security for the semantic web. In ISWC, Sanibel Island, Florida, USA, October. 2000.
12. Lobo and all. A policy description language. In AAAI, Orlando,FL,USA, July 1999.
13. E. C. Lupu and M. Sloman. Conflicts in policy-based distributed systems management. IEEE Trans. Softw. Eng., 25(6):852-869, 1999.
14. P. McDaniel. On Context in Authorization Policy. In 8th ACM Symposium on Access Control Models and Technologies (SACMAT), pages 80-89. ACM, June 2003. Como, Italy.
15. D. M. Nessett. Factors affecting distributed system security. In IEEE Symposium on Security and Privacy, pages 204-222, 1986. Oakland, California, USA.
16. D. Parnas. On the design and development of program families. IEEE Transactions on Software Engineering, (2): 1-9, 1976.
17. T. Ryutov and C. Neuman. Representation and evaluation of security policies for distributed system services, 2000.
18. G. Wolfien. Network ipsec specification. In Pan-European Harmonisation of Vehicle Emergency call Service Chain. Information Society Technologies (IST), 25. October 2002.