Formalization of security patterns as a means to infer security controls in business processes

&
Logic Journal of the IGPL 23 (1):57-72 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu042

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Packets tokenization methods for web layer cyber security.Rafał Kozik, Michał Choraś & Witold Hołubowicz - 2017 - Logic Journal of the IGPL 25 (1):103-113.
GenAI Application Level Security.Ken Huang, Grace Huang, Adam Dawson & Daniel Wu - 2024 - In Ken Huang, Yang Wang, Ben Goertzel, Yale Li, Sean Wright & Jyoti Ponnapalli (eds.), Generative AI Security: Theories and Practices. Springer Nature Switzerland. pp. 199-237.
Security analysis and resource requirements of group-oriented user access control for hardware-constrained wireless network services.D. Ventura, Aitor Gómez-Goiri, V. Catania, Diego López-de-Ipiña, J. A. M. Naranjo & L. G. Casado - 2016 - Logic Journal of the IGPL 24 (4).
Session 3-Security Requirements and Development-Towards a UML 2.0 Extension for the Modeling of Security Requirements in Business Processes. [REVIEW]Alfonso Rodriguez, Eduardo Fernandez-Medina & Mario Piattini - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 4083--51.
Complexity, Global Politics, and National Security.David S. Alberts & Thomas J. Czerwinski - 2002
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.Carlos Caleiro, Luca Viganò & David Basin - 2005 - Logic Journal of the IGPL 13 (6):637-663.
Taking Security Seriously.Casadei Thomas - 2017 - Governare la Paura. Journal of Interdisciplinary Studies 10 (1).
Secure traveling salesman problem with intelligent transport systems features.Gloria Cerasela Crişan, Camelia-M. Pintea, Anisoara Calinescu, Corina Pop Sitar & Petrică C. Pop - forthcoming - Logic Journal of the IGPL.
How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns.Luca Compagna, Paul El Khoury, Alžběta Krausová, Fabio Massacci & Nicola Zannone - 2009 - Artificial Intelligence and Law 17 (1):1-30.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,327,971)

6 months
3 (#1,479,050)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references