Policy composition based on Petri nets

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2009, Pages 416-421

  Huang, Hejiao ^a,b   Kirchner, Hélène ^b  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SECURITY; EXTENDED PETRI NET; GLOBAL POLICIES; HETEROGENEOUS SYSTEMS; LOCAL POLICIES; RESOURCES SHARING; SECURE INTEROPERATION; SECURITY POLICY; SECURITY PRINCIPLES;

COMPUTER SOFTWARE; GRAPH THEORY; NETWORK SECURITY; PETRI NETS; SECURITY SYSTEMS; WORD PROCESSING;

COMPUTER APPLICATIONS;

EID: 70449673607     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2009.169     Document Type: Conference Paper

References (28)

1. Huang, H.J.: Enhancing the Property-Preserving Petri Net Process Algebra for Component-based System Design (with Application to Designing Multi-agent Systems and Manufacturing Systems). PhD thesis, Department of Computer Science, City University of Hong Kong (2004
2. Mak, W.: Verifying Property Preservation for Component-based Software Systems (A Petri-net Based Methodology). PhD thesis, Department of Computer Science, City University of Hong Kong (2001
3. Dougherty, D.J., Kirchner, C., Kirchner, H., Santana de Oliveira, A.: Modular access control via strategic rewriting. In: Proceedings of 12th European Symposium On Research In Computer Security (ESORICS' 07), Dresden (Sep 2007
4. Santana de Oliveira, A.: Réécriture et modularité pour les politiques de sécurité. PhD thesis, UHP Nancy 1 (2008
5. Jaume, M., Morisset, C.: A formal approach to implement access control. Journal of Information Assurance and Security 2 (2006) 137-148
6. Milner, R.: Communication and concurrency. Prentice-Hall International Series in Computer Science. Prentice Hall, Inc. (1989
7. Victor, B., Moller, F.: The mobility workbench - a tool for the π- calculus. In Alur, R., Peled, D., eds.: Proc. 6th International Conference Computer Aided Verification (CAV'94). Volume 818 of Lecture Notes in Computer Science., Springer (1994) 428-440
8. Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. Journal of Logic and Algebraic Programming 75(1) (2008) 3-51
9. Focardi, R., Gorrieri, R.: Classification of Security Properties (Part I: Information Flow). Volume 2171 of Lecture Notes in Computer Science. Springer (2001
10. Shafiq, B., Masood, A., Joshi, J., Ghafoor, A.: A role-based access control policy verification framework for real-time systems. In: Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (2005
11. Mortensen, K.H.: Automatic code generation method based on coloured petri net models applied on an access control system. Lecture Notes in Computer Science 1825 (2000) 367-386
12. Knorr, K.: Dynamic access control through petri net workflows. In: Proceedings of 16th Annual Conference on Computer Security Applications. (2000) 159-167
13. Zhang, Z.L., Hong, F., Liao, J.G.: Modeling chinese wall policy using colored petri nets. In: Proceedings of the 6th IEEE International Conference on Computer and Information Technology. (2006
14. Zhang, Z.L., Hong, F., Xiao, H.: Verification of strict integrity policy via petri nets. In: Proceedings of the International Conference on Systems and Networks Communication. (2006
15. Juszczyszyn, K.: Verifying enterprise's mandatory access control policies with coloured petri nets. In: Proceedings of the 12th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. (2003
16. Deng, Y., Wang, J.C., Tsai, J., Beznosov, K.: An approach for modeling and analysis of security system architectures. IEEE Transactions on Knowledge and Data Engineering 15(5) (2003) 1099-1119
17. Bonatti, P.A., di Vimercati, S.D.C., Samarati, P.: An algebra for composing access control policies. ACM Trans. Inf. Syst. Secur. 5(1) (2002) 1-35
18. Wijesekera, D., Jajodia, S.: A propositional policy algebra for access control. ACM Trans. Inf. Syst. Secur. 6(2) (2003) 286-325
19. Bauer, L., Ligatti, J., Walker, D.: Composing security policies with polymer. In: PLDI. (2005) 305-314
20. Lee, A.J., Boyer, J.P., Olson, L., Gunter, C.A.: Defeasible security policy composition for web services. In Winslett, M., Gordon, A.D., Sands, D., eds.: FMSE, ACM (2006) 45-54
21. Bruns, G., Dantas, D.S., Huth, M.: A simple and expressive semantic framework for policy composition in access control. In: FMSE '07: Proceedings of the 2007 ACM workshop on Formal methods in security engineering, New York, NY, USA, ACM (2007) 12-21
22. Bertolissi, C., Fernndez, M.: A rewriting framework for the composition of access control policies. Proceedings of PPDP'08 (2008
23. Murata, T.: Petri nets: Properties, analysis, and applications. Proceedings of IEEE 77(4) (1985) 541-580
24. Tschantz, M.C., Krishnamurthi, S.: Towards reasonability properties for access-control policy languages. In Ferraiolo, D.F., Ray, I., eds.: SACMAT, ACM (2006) 160-169
25. Barker, S., Fernández, M.: Term rewriting for access control. In: DBSec. (2006) 179-193
26. Huang, H., Kirchner, H.: Modular security policy design based on extended petri nets. Technical Report in INRIA, Bordeaux Sud-Ouest, France (2009
27. Xing, K.L., Jin, X.J., Feng, Y.: Deadlock avoidance petri net controller for manufacturing systems with multiple resource service. Proc. IEEE Conference on Robotics and Automation (2005) 4757-4761
28. Lee, J.K.: Scheduling analysis with resources share using the transitive matrix based on p-invariant. Proc. 41st SICE Annual Conference 2 (2002) 1359-1364