Title :
Specifying Selected Security Features of Inter-Organizational Workflows
Author :
Mikolajczak, Boleslaw ; Joshi, Sachin
Author_Institution :
Dept. of Comput. & Inf. Sci., Massachusetts Univ., Dartmouth, MA
Abstract :
Workflow security introduces a shift from traditional subject-object-rights focus of database to a transaction oriented one. Inter-organizational workflow provides solution for data sharing and work coordination at a global level. A secure computing infrastructure is needed to support their missions. Security features are incorporated for each participating organization as well as for the overall inter-organizational workflow. Security features such as authentication and non-repudiation are incorporated in models of inter-organizational workflows. Petri nets are used for incremental specification of inter-organizational workflows with security features
Keywords :
Petri nets; electronic commerce; formal specification; retail data processing; security of data; workflow management software; Petri net; authentication; data sharing; incremental specification; inter-organizational workflow; online computer shopping system; secure computing infrastructure; Authentication; Computer security; Credit cards; Data security; Information science; Information security; Information technology; Petri nets; Uninterruptible power systems; Workflow management software;
Conference_Titel :
Computational Intelligence for Modelling, Control and Automation, 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2504-0
DOI :
10.1109/CIMCA.2005.1631592