Formal and informal specifications of a secure system component: Final results in a comparative study-Reference-Cited by-同舟云学术

Formal and informal specifications of a secure system component: Final results in a comparative study

Published:1996 Issue: Volume: Page:214-227
ISSN:0302-9743
Container-title:FME'96: Industrial Benefit and Advances in Formal Methods
language:
Short-container-title:

Author:

Brookes T. M.,Fitzgerald J. S.,Larsen P. G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60973-3_89

Reference10 articles.

1. D.J. Andrews, H. Bruun, B.S. Hansen, P.G. Larsen, N. Plat, et al. Information Technology — Programming Languages, their environments and system software interfaces — Vienna Development Method-Specification Language Part 1: Base language. ISO, 1995.

2. René Elmstrøm, Peter Gorm Larsen, and Poul Bøgh Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29(9):77–80, September 1994.

3. J. S. Fitzgerald, T. M. Brookes, M. A. Green, and P. G. Larsen. Formal and informal specifications of a secure system component: first results in a comparative study. In M. Naftalin, B. T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 35–44. Springer-Verlag, 1994.

4. J. S. Fitzgerald. The ConForm Project Home Page. World-wide web at URL: http://www.cs.ncl.ac.uk/research/csr/projects/ConForm.html, 1995.

5. J.S. Fitzgerald, P.G. Larsen, T.M. Brookes, and M.A. Green. Applications of Formal Methods, chapter 14 Developing a Security-critical System using Formal and Convential Methods. Prentice-Hall International Series in Computer Science, 1995.

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

1. A Survey on Formal Specification of Security Requirements;2021 3rd International Conference on Advances in Computing, Communication Control and Networking (ICAC3N);2021-12-17

2. Practice-oriented courses in formal methods using VDM ++;Formal Aspects of Computing;2009-05

3. Assessing the practical benefits of formal methods for software development;Safety Science;2002-12

4. A formal design language for real-time systems with data;Science of Computer Programming;2001-05

5. A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module;Computer Safety, Reliability and Security;2000