JoWUA

Guest Editorial: Insider Threat Solutions - Moving from Concept to Reality

Authors: Jason R.C. Nurse and Elisa Bertino

DOI: 10.22667/JOWUA.2017.03.31.001

Pages: 1-3

Keywords: Journal of Wireless Mobile Networks, Ubiquitous Computing, Dependable Applications, Insider Threat Solutions

Abstract Download

Linear Time Algorithms to Restrict Insider Access using Multi-Policy Access Control Systems

Authors: Peter Mell, James Shook, Richard Harang, and Serban Gavrila

DOI: 10.22667/JOWUA.2017.03.31.004

Pages: 4-25

Keywords: ABAC, access control, algorithms, complexity, computer security, graph theory, insider, NIST, NGAC, Policy Machine, simultaneous instantiation, XaCML.

Abstract Download

Formalising policies for insider-threat detection: A tripwire grammar

Authors: Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, and Sadie Creese

DOI: 10.22667/JOWUA.2017.03.31.026

Pages: 26-43

Keywords: Insider-threat detection, Security policies, Validation, Grammar.

Abstract Download

Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation

Authors: Florian Kammuller, Manfred Kerber, and Christian W. Probst

DOI: 10.22667/JOWUA.2017.03.31.044

Pages: 44-78

Keywords: Insider Threats, Auctions, Formal Methods, Code generation

Abstract Download

A formal approach for network security policy validation

Authors: Fulvio Valenza, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, and Marco Vallini

DOI: 10.22667/JOWUA.2017.03.31.079

Pages: 79-100

Keywords: network security policy, policy conflict analysis, policy validation, remote attestation.

Abstract Download