HBAC: A Model for History-Based Access Control and Its Model Checking-Reference-Cited by-同舟云学术

HBAC: A Model for History-Based Access Control and Its Model Checking

Author:

Wang Jing,Takata Yoshiaki,Seki Hiroyuki

Publisher

Springer Berlin Heidelberg

Link

Reference23 articles.

1. Abadi, M., Fournet, C.: Access control based on execution history. In: Network & Distributed System Security Symp., pp. 107–121 (2003)

3. Lecture Notes in Computer Science;M. Bartoletti,2004

4. Bartoletti, M., Degano, P., Ferrari, G.L.: Enforcing secure service composition. In: IEEE 18th CSFW, pp. 211–223 (2005)

5. Brewer, D.F.C., Nash, M.J.: The Chinese wall security policy. IEEE Security & Privacy, pp. 206–214 (1989)

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

1. The SICILIAN Defense;Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security;2015-10-12

3. Local policies for resource usage analysis;ACM Transactions on Programming Languages and Systems;2009-08

5. Higher-Order Program Verification and Language-Based Security;Advances in Computer Science - ASIAN 2009. Information Security and Privacy;2009