An extensible analysable system model

Information Security Technical Report

Volumn 13, Issue 4, 2008, Pages 235-246

  Probst, Christian W ^a   Hansen, René Rydhof ^b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY;

ARTIFICIAL SYSTEMS; CRITICAL INFRASTRUCTURES; DO-MAINS; FORMALISATION; INSIDER THREATS; REAL PHYSICAL SYSTEMS; SAFETY THREATS; SECURITY RESEARCHES; SYSTEM MODELS;

MODEL STRUCTURES;

EID: 57649097309     PISSN: 13634127     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.istr.2008.10.012     Document Type: Article

References (11)

1. Bishop M. The insider problem revisited. Proc. of new security paradigms workshop 2005 (2005), ACM Press, Lake Arrowhead, CA, USA
2. Bishop M., Gollmann D., Hunker J., and Probst C.W. Dagstuhl seminar "countering insider threats" (2008). http://www.dagstuhl.de/08302 last visited [accessed 12.08.08]
3. In: Brackney R.C., and Anderson R.H. (Eds). Understanding the insider threat (2005), RAND Corporation, Santa Monica, CA, U.S.A.
4. Gollmann D. Insider fraud. In: Christianson B., Crispo B., Harbinson W.S., and Roe M. (Eds). Proc. of the 6th international workshop on security protocols, vol. 1550 of lecture notes in computer science (1998), Springer Verlag, Cambridge, UK
5. Gunnarsson D. Static analysis of the insider problem, Master's thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby, supervised by Christian W. Probst, IMM, DTU; 2007.
6. Hansen R.R., Probst C.W., and Nielson F. Sandboxing in myKlaim. The first international conference on availability, reliability and security, ARES'06 (2006), IEEE Computer Society, Vienna, Austria
7. Nicola R.D., Ferrari G., and Pugliese R. KLAIM: a kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24 5 (1998) 315-330
8. Nicola R.D., Ferrari G., Pugliese R., and Venneri B. Types for access control. Theoretical Comput Sci 240 1 (2000) 215-254
9. Nielson F., Nielson H.R., and Hankin C.L. Principles of program analysis (1999), Springer-Verlag
10. Probst CW, Hansen RR, Nielson F. Where can an insider attack?. In: Workshop on formal aspects in security and trust (FAST 2006); 2006.
11. Swiderski F., and Snyder W. Threat modeling (2004), Microsoft Press