Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A security modeling and verification method of embedded software based on Z and MARTE;Computers & Security;2020-01
2. LOCKS;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09
3. Comparing attack trees and misuse cases in an industrial setting;Information and Software Technology;2014-03
4. Automated Reviewing of Healthcare Security Policies;Foundations of Health Information Engineering and Systems;2013
5. Validation of Security-Design Models Using Z;Formal Methods and Software Engineering;2011