Automated verification of security pattern compositions-Reference-Cited by-同舟云学术

Automated verification of security pattern compositions

Published:2010-03 Issue:3 Volume:52 Page:274-295
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Dong Jing,Peng Tu,Zhao Yajing

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference42 articles.

1. Paulo Alencar, Donald Cowan, Jing Dong, Carlos Lucena, A pattern-based approach to structural design composition, in: Proceedings of the IEEE 23rd Annual International Computer Software & Applications Conference, Phoenix USA, October 1999, pp. 160–165.

2. Paulo Alencar, Donald Cowan, Carlos Lucena, A formal approach to architectural design patterns, in: Proceedings of the Third International Symposium of Formal Methods Europe (FME), 1996, pp. 576–594.

3. Model checking in practice: the T9000 virtual channel processor;Barrett;IEEE Transactions on Software Engineering,1998

4. F.L. Brown, E.B. Fernandez, The authenticator pattern, in: Proceedings of the Pattern Languages of Programs (PLoP’99), 1999.

5. Automatic verification of sequential circuits using temporal logic;Browne;IEEE Transactions on Computer,1986

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

1. Security Requirements Formalization with RQCODE;CyberSecurity in a DevOps Environment;2023-08-23

2. An Approach for Verification of Secure Access Control Using Security Pattern;Wireless Communications and Mobile Computing;2022-09-06

3. Security Requirements as Code: Example from VeriDevOps Project;2021 IEEE 29th International Requirements Engineering Conference Workshops (REW);2021-09

4. Systematic Literature Review of Security Pattern Research;Information;2021-01-16

5. A Coloured Petri Nets Based Attack Tolerance Framework;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12