Integrating a Security Requirement Language with UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3273, Issue , 2004, Pages 350-364

  Abie, H ^a   Aredo, D B ^a   Kristoffersen, T ^a   Mazaher, S ^a   Raguin, T ^b  

^a NORWEGIAN COMPUTING CENTER   (Norway)

^b NetUnion Sarl   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; HIGH LEVEL LANGUAGES; MODELING LANGUAGES; NETWORK SECURITY;

APPLICATION SECURITY; DISTRIBUTED SYSTEMS; HIGH LEVEL SPECIFICATION; INTEGRATED FRAMEWORKS; MODELING TECHNIQUE; SECURITY REQUIREMENTS; SYNTACTIC ABSTRACTION; SYSTEM DEVELOPMENT PROCESS;

UNIFIED MODELING LANGUAGE;

EID: 33748046212     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30187-5_25     Document Type: Article

References (20)

1. Abadi, M., Gordon, A. D.: A Calculus for Cryptographic Protocols, The Spi Calculus. Research Report, digital Systems Research Center, January 1998.
2. Aredo, D. B., Kristoffersen, T., Mazaher, S.: Abstract Security Requirement Specification. Technical Report DART/03/04, Norsk Regnesentral, Oslo, Norway, March, 2004.
3. Bieber, P.: A Logic of Communication in a Hostile environment. Proceedings of the Computer Security Foundations Workshop III. IEEE Computer Society Press. June, 1990.
4. Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Transactions on Computer Systems, 8(1), February 1990.
5. CASENET, IST project 2001-32446: User Trial Progress Report. Deliverable CASENET/WP5/D5.2, June, 2003.
6. CASENET, IST project IST-2001-32446: http://www.casenet-eu.org/,
7. Denker, G., Millen, J., Rues, H.: The CAPSL Integrated Protocol Environment. Technical Report SRI-CSL-2000-02, SRI International, Computer Science Laboratory, October 2000.
8. Higginbotham, M. D., Maley, J. G., Milheizler, A. J., Suskie, B. j.: Integrating Information Security Engineering with System Engineering with System Engineering Tools. Proceedings of WETICE '98, July, 1998.
9. Jurjens, J.: UMLsec: Extending UML for Secure Systems Development. Proceedings of the 5th International Conference on the United Modeling Language (UML 2002). Lecture Notes in Computer Science, vol. 2460. Springer Verlag, 2002.
10. Lodderstedt, T., Basin, D., Doser, J.: SecureUML: A UML-based modeling language for model-driven security. Proceedings of the 5th International Conference on the United Modeling Language (UML 2002). Lecture Notes in Computer Science, vol. 2460. Springer Verlag, 2002.
11. Lowe, G.: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FOR. Proceedings of TAG AS 95. Lecture Notes in Computer Science, vol. 1055. Springer Verlag, 1996.
12. Meadows, C., Syverson, P.: A Formal Language for Cryptographic Protocol Requirements. Designs, Codes and Cryptography, 7(1-2), January 1996.
13. Meadows, C.: The NRL Protocol Analyzer: An Overview. Journal of Logic Programming, 26(2), 1996.
14. Moser, L.: A Logic of Knowledge and Belief for Reasoning about Computer Security. Proceedings of the Computer Security Foundations Workshop II. IEEE Computer Society Press, June, 1989.
15. Mouratidis, H., Giorgini, P., Manson, G.: Integrating Security and Systems Engineering: Towards the Modeling of Secure Information Systems. Proceedings of the 15th Conference on Advanced Information System Engineering (CAISE-03), 2003.
16. OMG: The Unified Modeling Language Specification V1.5., Object Management Group, Needham, MA, U.S.A., March, 2003.
17. OMG: http://www.omg.org/technology/documents/modeling-spec-catalog.htm
18. Shroff, M., France, R.: Towards a Formalization of UML Class Structures in Z. Proceedings of COMPSAC'97, August, 1997.
19. Syverson, P.: Formal Semantics of Logics of Cryptographic Protocols, Proceedings of the Computer Security Foundations Workshop III. IEEE Computer Society Press, June, 1990.
20. Wimmel, G., Wißpeintner, A.: Extended Description Techniques for Security Engineering. In M. Dupuy and P. Paradinas, editors, Trusted Information, The New Decade Challenge, Proceedings of the IFIP 16th International Conference on Information Security (Sec'01). Kluwer Academic Publishers, 2001.