An extensible analysable system model

Bishop, 2005, The insider problem revisited Bishop 2005 Gollmann, 1998, Insider fraud 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. Hansen, 2006, Sandboxing in myKlaim Nicola, 1998, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, 24, 315, 10.1109/32.685256 Nicola, 2000, Types for access control, Theoretical Comput Sci, 240, 215, 10.1016/S0304-3975(99)00232-7 Nielson, 1999 Probst CW, Hansen RR, Nielson F. Where can an insider attack?. In: Workshop on formal aspects in security and trust (FAST 2006); 2006. Swiderski, 2004