Funder
National Science Foundation
National Institutes of Health
Fulbright-Nehru Academic & Professional Excellence Fellowship
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Theoretical Computer Science,Software
Reference53 articles.
1. Aich, S., Mondal, S., Sural, S., & Majumdar, A.K. (2009). ESTARBAC: Role based access control with spatiotemporal context for mobile applications. Transactions on Computational Science, IV, 177–199.
2. Alberti, F., Armando, A., & Ranise, S. (2011a). ASASP: automated symbolic analysis of security policies. In Proceedings of the 23rd international conference on automated deduction (pp. 26–33).
3. Alberti, F., Armando, A., & Ranise, S. (2011b). Efficient symbolic automated analysis of administrative attribute-based RBAC policies. In Proceedings of the 6th ACM symposium on information, computer and communications security (pp. 165–175).
4. Anagnostopoulos, D., Papadopoulos, T., Stamati, T., & Balta, M.E. (2020). Policy and information systems implementation: the greek property tax information system case. Information Systems Frontiers, 22, 791–802.
5. Behrmann, G., David, A., & Larsen, K.G. (2004). A tutorial on UPPAAL. In Proceedings of the formal methods for the design of real-time systems (pp. 200–236).
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献