Secure Java Development with UML-Reference-Cited by-同舟云学术

Secure Java Development with UML

Published:2002 Issue: Volume: Page:107-124
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

Jürjens Jan

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/0-306-46958-8_8

Reference34 articles.

1. M. Abadi. Security protocols and their properties. In F. Bauer and R. Steinbrueggen, editors, Foundations of Secure Computation. IOS Press, 2000.

2. M. Abadi, Michael Burrows, Butler Lampson, and Gordon Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706–734, 1993.

3. R. Anderson. Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley, 2001.

4. B. Bokowski and J. Vitek. Confined types. In 14th Annual ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA’ 99), 1999.

5. R. Campo, A. Cavarra, and E. Riccobene. Simulating UML state machines. In E. Borger and U. Glässer, editors, ASM’2001, LNCS. Springer-Verlag, 2001. To be published.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bridging Model-Based and Language-Based Security;Computer Security – ESORICS 2003;2003

2. Modelling and Verification of Layered Security Protocols: A Bank Application;Lecture Notes in Computer Science;2003

3. Encapsulating Rules of Prudent Security Engineering;Security Protocols;2002

4. Developing Secure Systems with UMLsec — From Business Processes to Implementation;Verlässliche IT-Systeme 2001;2001

5. Risk-Driven Development of Security-Critical Systems Using UMLsec;Information Technology