Author:
Yuan Chunyang,He Yeping,He Jianbo,Zhou Zhouyi
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Valid and Correct-by-Construction Formal Specification of RBAC;International Journal of Information Security and Privacy;2020-04
2. Modeling and Re-Evaluating Security in an Incremental Development of RBAC-Based Systems Using B Method;Exploring Security in Software Architecture and Design;2019
3. Formal and semi-formal verification of a web voting system;International Journal of Web Information Systems;2015-06-15
4. A Functional Verification of a Web Voting System;Computational Science and Its Applications – ICCSA 2014;2014
5. Automated Reviewing of Healthcare Security Policies;Foundations of Health Information Engineering and Systems;2013