Formal Modelling and Analysis of Socio-Technical Systems-Reference-Cited by-同舟云学术

Formal Modelling and Analysis of Socio-Technical Systems

Published:2015-12-25 Issue: Volume: Page:54-73
ISSN:0302-9743
Container-title:Semantics, Logics, and Calculi
language:
Short-container-title:

Author:

Probst Christian W.,Kammüller Florian,Hansen René Rydhof

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-27810-0_3

Reference23 articles.

1. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (2004)

2. BBC News: Hack attack causes ‘massive damage’ at steel works (2014). http://www.bbc.com/news/technology-30575104 . Accessed 15 October 2015

3. Cappelli, D.M., Moore, A.P., Trzeciak, R.F.: The CERT Guide to Insider Threats: How to Prevent, Detect, and Respond to Information Technology Crimes (Theft, Sabotage, Fraud). Addison-Wesley Professional, Boston (2012)

4. Hunker, J., Probst, C.W.: Insiders and insider threats–an overview of definitions and mitigation techniques. J. Wirel. Mob. Netw. Ubiquitous Comput. Dependable Appl. 2(1), 3–25 (2011)

5. Nielson, H.R., Nielson, F., Pilegaard, H.: Flow logic for process calculi. ACM Comput. Surv. 44(1), 3 (2012)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Review of the Insider Threat, a Practitioner Perspective Within the U.K. Financial Services;IEEE Access;2024

2. A JPSL Based Model Checking Approach for Java Programs;Structured Object-Oriented Formal Language and Method;2023

3. Modelling human threats in security ceremonies1;Journal of Computer Security;2022-07-04

4. Formal Methods for Socio-technical Security;Lecture Notes in Computer Science;2022

5. A Security Analysis of the Danish Deposit Return System;Lecture Notes in Computer Science;2021