B for Modeling Secure Information Systems-Reference-Cited by-同舟云学术

B for Modeling Secure Information Systems

Published:2015 Issue: Volume: Page:312-318
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Idani Akram,Ledru Yves

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-25423-4_20

Reference14 articles.

1. Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)

2. Basin, D.A., Clavel, M., Doser, J., Egea, M.: Automated analysis of security-design models. Inf. Soft. Technol. 51(5), 815–831 (2009)

3. Hazem, L., Levy, N., Marcano-Kamenoff, R.: UML2B: un outil pour la génération de modèles formels. In: Julliand, J. (ed.) AFADL 2004 - Session Outils (2004)

4. Laleau, R., Mammar, A.: An overview of a method and its support tool for generating B specifications from UML notations. In: 15th IEEE International Conference on Automated Software Engineering, pp. 269–272. IEEE Computer Society Press (2000)

5. Lecture Notes in Computer Science;R Laleau,2002

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

1. A Process-Centric Approach to Insider Threats Identification in Information Systems;Lecture Notes in Computer Science;2024

2. Alliance of model-driven engineering with a proof-based formal approach;Innovations in Systems and Software Engineering;2020-06-01

3. Meeduse: A Tool to Build and Run Proved DSLs;Lecture Notes in Computer Science;2020

4. Merging Railway Standard Notations in a Formal DSL-Based Framework;Communications in Computer and Information Science;2020

5. A correct-by-construction model for attribute-based access control;Cluster Computing;2019-08-28