Using Petri nets to verify access policies in mandatory access control model
暂无分享,去创建一个
[1] Vijay Varadharajan,et al. Petri net based modelling of information flow security requirements , 1990, [1990] Proceedings. The Computer Security Foundations Workshop III.
[2] Leonard J. LaPadula,et al. MITRE technical report 2547, volume II , 1996 .
[3] Rüdiger Valk,et al. Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .
[4] Trent Jeager. Managing access control complexity using metrices , 2001 .
[5] Miroslaw Zakrzewski. Mandatory Access Control for Linux Clustered Servers , 2002 .
[6] Stephan Merz,et al. Model Checking , 2000 .
[7] Jari Juopperi,et al. Prt-net Based Analysis of Information Flow Security Nets Prt-net Based Analysis of Information Flow Security Nets , 1995 .
[8] Krzysztof Juszczyszyn,et al. Verifying enterprise's mandatory access control policies with coloured Petri nets , 2003, WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003..
[9] David A. Bell,et al. The Bell-LaPadula Model , 1996 .