Modelling and Verification of Layered Security Protocols: A Bank Application-Reference-Cited by-同舟云学术

Modelling and Verification of Layered Security Protocols: A Bank Application

Published:2003 Issue: Volume: Page:116-129
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Grünbauer Johannes,Hollmann Helia,Jürjens Jan,Wimmel Guido

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39878-3_10

Reference31 articles.

1. Anderson, R.: Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley, Chichester (2001)

2. Lecture Notes in Computer Science,2002

3. Lecture Notes in Computer Science;R.E. Bloomfield,2000

4. Broy, M., Dederich, F., Dendorfer, C., Fuchs, M., Gritzner, T., Weber, R.: The design of distributed systems – an introduction to FOCUS. Technical Report TUM-I9202, Technische Universität München (1992)

5. Broy, M., Stolen, K. (eds.): Specification and Development of Interactive Systems. Springer, Heidelberg (2001)

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

1. Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications;Correct Software in Web Applications and Web Services;2015

2. Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications;Formal Methods for Eternal Networked Software Systems;2011

3. Security Analysis of a Biometric Authentication System Using UMLsec and JML;Model Driven Engineering Languages and Systems;2009

4. Model-Based Security Engineering with UML;Foundations of Security Analysis and Design III;2005