Verification of Workflow processes under multilevel security considerations

Proceedings 2008 3rd International Conference on Risks and Security of Internet and Systems, CRiSIS 2008

Volumn , Issue , 2008, Pages 77-84

  Barkaoui, Kamel ^a   Ayed, Rahma Ben ^b   Boucheneb, Hanifa ^c   Hicheur, Awatef ^a  

^a CEDRIC CNAM   (France)

^b UNIVERSITY OF TUNIS EL MANAR   (Tunisia)

^c ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS RIGHTS; CONTROL FLOWS; DATA CONSISTENCIES; INFORMATION FLOW RULES; INFORMATION FLOWS; MODEL CHECKERS; MULTI-LEVEL SECURITIES; MULTI-LEVEL SECURITY POLICIES; SECURITY CONSTRAINTS; SECURITY POLICIES; SECURITY RULES; WORK-FLOW SYSTEMS; WORKFLOW PROCESS; WORKFLOW SPECIFICATIONS;

FISCHER-TROPSCH SYNTHESIS; INTERNET; MANAGEMENT; MODEL CHECKING; SECURITY SYSTEMS; SPECIFICATIONS;

SECURITY OF DATA;

EID: 63249084376     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CRISIS.2008.4757466     Document Type: Conference Paper

References (22)

1. W. M. P, Van der Aalst. "Verification of Workflow Nets". In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets. LNCS 1248, Springer, 1997, pp. 407-426
2. K. Barkaoui and L. Petrucci. "Structural Analysis of Workflow Nets with Shared Ressources". In Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Computing Science Report, 1998, pp. 82-95
3. K. Barkaoui, J. M. Couvreur and K. Klai. "On the Equivalence between Deadlock Freeness and Liveness in Petri Nets". In 26th Int'l. Conf. on Application and Theory of Petri Nets. LNCS 3536, 2005. pp. 90-107.
4. D. Bell and L. LaPadula. "The Bell-LaPadula Model". Journal of Computer Security, 1996, vol. 4, no. 2-3, pp. 239-263.
5. K. Barkaoui and A. Hicheur. "Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets". (CBP'07), LNCS 4928, Springer Verlag, 2007, pp. 206-217.
6. K. Barkaoui, R. Ben Ayed and Z. Sbai. "Vérification Paramétrée de la Cohérence des Processus Workflow". In MSR'07, Hermes Ed., 2007.
7. K. Barkaoui and R. Ben Ayed. "Uniform Verification of Workflow Soundness"; to appear in Transactions of the Institute of Measurement and Control Journal, 2008.
8. D. E. Bell and L. J, Lapadula. "Secure computer systems-Mathematical foundations", report MTR-25 47, MITRE Corporation , 1973.
9. M, Bettaz and M, Maouche, "How to Specify Non Determinism and True Concurrency with Algebraic Terms Nets". In. LNCS 655, Bidoit, M., Choppy, C. (eds.), Springer-Verlag, Heidelberg, 1992, pp. 164-180.
10. R. Bruni and J. Meseguer. "Semantic foundations for generalized rewrite theories". In Theor. Comput. Sci. Journal, vol. 360, no. 1-3, 2006, pp. 386-414.
11. D. Clark and D. Wilson, "A Comparison of Commercial and Military Computer Security Policies", In IEEE symposium on security and privacy, 1987, pp. 184-194.
12. M, Clavel, F., Duran, S, Eker, P, Lincoln, N, Marti-Oliet, J., Meseguer, and C. talcott, "Maude manual (version2.3)". 2007, http://maude.cs.uiuc.edu/maude2-manual/.
13. J. W. Gray. "Toward Mathematical Foundation for Information Flow Security". In IEEE Symposium on Security and Privacy, 1991, pp. 21-34.
14. J. A. Goguen, J. Meseuger. "Security Policies and Security Models", In IEEE computer society symposium on security and privacy, 1982, pp. 11-20.
15. K. van Hee, N. Siderova and M. Voorhoeve, "Generalied soundness of Workflow nets is decidable", ICATPN 04, LNCS 3099, 2004.
16. S. Lua, A. Bernsteinb, P. Lewisb. Automatic workflow verification and generation. In Theor. Compt. Sci. Journal, 2006, Vol. 353, no. 71-92.
17. H. Myong N. Kang, and al. "A Strategy for an MLS Workflow Management System". In 18th IFIP Working Conf. on Database Security, 1999.
18. JJuopperi, "PrT-net Based Analysis of information Flow", Research Report no 34, Helsinki University of Technology, Digital Systems Laboratory, Series A, 1995.
19. K. Juszczyszyn, "Verifiying Entreprise's Mandatory Access Control Policies with colored Petri Nets", Wroclaw University of Technology, 2003.
20. K. Knorr. "Multilevel Security and Information Flow in Petri Net Workflows", In 9th Intl. Conf. on Telecommunication Systems - Modeling and Analysis, Special Session on Security Aspects of Telecommunication Systems, Dallas, TX, 2001, pp. 9-20.
21. H. Rakkay and H. Boucheneb, "Timed secure colored Petri net based analysis of information flow", NOTERE'06, Gatineau, Québec, CANADA, vol. 61, no11-12, 2006, pp. 1314-1346.
22. V. Varadharajan, "Hook-up property for information flow secure nets". In The Computer Security Foundations Workshop IV, 1991, pp. 54-175