Goal-equivalent secure business process re-engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4907 LNCS, Issue , 2009, Pages 212-223

  López, Hugo A ^a   Massacci, Fabio ^a   Zannone, Nicola ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS RE ENGINEERINGS; BUSINESS PROCESSES; E HEALTHS; HEALTH CARE SYSTEMS; MODEL-BASED; MODELING LANGUAGES; ORGANIZATIONAL LEVELS; ORGANIZATIONAL MODELS; SECURITY REQUIREMENTS; SYSTEM REQUIREMENTS;

HEALTH CARE;

EID: 60349095685     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-93851-4_21     Document Type: Conference Paper

References (9)

1. Crazzolara, F.: Language, Semantics, and Methods for Security Protocols. Doctoral dissertation, BRICS, daimi. PhD thesis. xii+160 (May 2003)
2. Javier, F., Fabrega, T., Herzog, J.C., Guttman, J.D.: Strand spaces: Proving security protocols correct. Journal of Computer Security 7, 191-230 (1999)
3. Hoare, C.A.R.: Communicating Sequential Processes. Commun. ACM 26(1), 100-106 (1983)
4. Johansson, H.J., McHugh, P., Pendlebury, A.J., Wheeler, W.A.: Business Process Reengineering-Breakpoint Strategies for Market Dominance. John Wiley & Sons, Chichester (1993)
5. Lowe, G.: Casper: A compiler for the analysis of security protocols. Journal of Computer Security 6(1-2), 53-84 (1998)
6. Massacci, F., Mylopoulos, J., Zannone, N.: An Ontology for Secure Socio-Technical Systems. In: Handbook of Ontologies for Business Interaction. The IDEA Group (2007)
7. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Journal of Information and Computation 100, 1-77 (1992)
8. van Glabbeek, R.J.: The linear time-branching time spectrum. In: Proceedings of the Theories of Concurrency: Unification and Extension, pp. 278-297 (1990)
9. White, S.A.: Business Process Modeling Notation (BPMN) Version 1.0. Business Process Management Initiative, BPMI.org. (May 2004)