Automated Verification of UMLsec Models for Security Requirements-Reference-Cited by-同舟云学术

Automated Verification of UMLsec Models for Security Requirements

Published:2004 Issue: Volume: Page:365-379
ISSN:0302-9743
Container-title:< > 2004 - The Unified Modeling Language. Modelling Languages and Applications
language:
Short-container-title:

Author:

Jürjens Jan,Shabalin Pasha

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30187-5_26.pdf

Reference21 articles.

1. Breu, R., Popp, G.: Actor-centric modeling of user rights. In: Wermelinger and Margaria [WM04], pp. 165–179

2. Cho, S.M., Bae, D.-H., Cha, S.D., Kim, Y.G., Yoo, B.K., Kim, S.T.: Applying model checking to concurrent object-oriented software. In: ISADS 1999, pp. 380–383. IEEE Computer Society, Los Alamitos (2001)

3. Cavarra, A., Riccobene, E., Scandurra, P.: A framework to simulate UML models: moving from a semi-formal to a formal environment. In: SAC, pp. 1519–1523. ACM, New York (2004)

4. Dirckze, R.: Java Metadata Interface (JMI) API 1.0 Specification (June 2002), Available at http://jcp.org/aboutJava/communityprocess/final/jsr040/index.html

5. Engels, G., Küster, J., Heckel, R., Lohmann, M.: Model-based verification and validation of properties. Electr. Notes Theor. Comput. Sci. 82(7) (2003)

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

1. Enhancing Autonomous System Security: A Formal Framework for Assessing and Strengthening Autonomous Vehicle Defenses;Communications in Computer and Information Science;2024

2. Handling Environmental Uncertainty in Design Time Access Control Analysis;2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA);2022-08

3. Model‐driven architecture based security analysis;Systems Engineering;2021-05-21

4. Security Assessment and Hardening of Autonomous Vehicles;Lecture Notes in Computer Science;2021

5. Automating the early detection of security design flaws;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16