Suspicion-driven formal analysis of security requirements

Nuno Amálio

doi:10.1109/SECURWARE.2009.40

Suspicion-driven formal analysis of security requirements

Nuno Amálio^*

^*Corresponding author for this work

University of Luxembourg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009
Pages	217-223
Number of pages	7
DOIs	https://doi.org/10.1109/SECURWARE.2009.40
Publication status	Published (VoR) - 2009
Event	2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009 - Athens, Glyfada, Greece Duration: 18 Jun 2009 → 23 Jun 2009

Publication series

Name	Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009

Conference

Conference	2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009
Country/Territory	Greece
City	Athens, Glyfada
Period	18/06/09 → 23/06/09

Keywords

Confidentiality
Event-Calculus
Formal analysis
Planning
Requirements
Security
Separation of duty

Access to Document

10.1109/SECURWARE.2009.40

Cite this

Amálio, N. (2009). Suspicion-driven formal analysis of security requirements. In Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009 (pp. 217-223). Article 5211002 (Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009). https://doi.org/10.1109/SECURWARE.2009.40

@inproceedings{d2efa6877ddd42d29c0979555dc5bffc,

title = "Suspicion-driven formal analysis of security requirements",

keywords = "Confidentiality, Event-Calculus, Formal analysis, Planning, Requirements, Security, Separation of duty",

author = "Nuno Am{\'a}lio",

year = "2009",

doi = "10.1109/SECURWARE.2009.40",

language = "English",

isbn = "9780769536682",

series = "Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009",

pages = "217--223",

booktitle = "Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009",

note = "2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009 ; Conference date: 18-06-2009 Through 23-06-2009",

}

Amálio, N 2009, Suspicion-driven formal analysis of security requirements. in Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009., 5211002, Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009, pp. 217-223, 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009, Athens, Glyfada, Greece, 18/06/09. https://doi.org/10.1109/SECURWARE.2009.40

Suspicion-driven formal analysis of security requirements. / Amálio, Nuno.
Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009. 2009. p. 217-223 5211002 (Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Suspicion-driven formal analysis of security requirements

AU - Amálio, Nuno

PY - 2009

Y1 - 2009

KW - Confidentiality

KW - Event-Calculus

KW - Formal analysis

KW - Planning

KW - Requirements

KW - Security

KW - Separation of duty

UR - http://www.scopus.com/inward/record.url?scp=70449475125&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449475125&partnerID=8YFLogxK

U2 - 10.1109/SECURWARE.2009.40

DO - 10.1109/SECURWARE.2009.40

M3 - Conference contribution

AN - SCOPUS:70449475125

SN - 9780769536682

T3 - Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009

SP - 217

EP - 223

BT - Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009

T2 - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009

Y2 - 18 June 2009 through 23 June 2009

ER -

Amálio N. Suspicion-driven formal analysis of security requirements. In Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009. 2009. p. 217-223. 5211002. (Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009). doi: 10.1109/SECURWARE.2009.40

Suspicion-driven formal analysis of security requirements

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this