Analysing access control specifications

4th International Workshop on Systematic Approaches to Digital Forensic Engineering, SADFE 2009

Volumn , Issue , 2009, Pages 22-33

  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

CYBER-CRIMES; INSIDER ATTACK; LOG FILE; NETWORKED SYSTEMS; ON-LINE ANALYSIS; STANDARD ACTION; TECHNICAL APPLICATIONS;

ACCESS CONTROL; COMPUTER CRIME; CRIME; ELECTRONIC CRIME COUNTERMEASURES; SECURITY SYSTEMS;

FORENSIC ENGINEERING;

EID: 74549224566     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SADFE.2009.13     Document Type: Conference Paper

References (16)

1. Stein Bagger. Available from http://en.wikipedia.org/wiki/Stein-Bagger, last visited December 4, 2008.
2. M. Beaumont-Gay, K. Eustice, V. Ramakrishna, and P. Reiher. Information protection via environmental data tethers. In Proceedings of the New Securiy Paradigms Workshop (NSPW 2007), 2007.
3. M. Dacier and Y. Deswarte. Privilege graph: an extension to the typed access matrix model. In Proceedings of the European Symposium On Research In Computer Security, 1994.
4. P. H. Feiler, D. P. Gluch, and J. J. Hudak. The Architecture Analysis and Design Language (AADL): An Introduction. Technical report, CMU/SEI, 2006.
5. Gorla and Pugliese. Resource access and mobility control with dynamic privileges acquisition. In ICALP: Annual International Colloquium on Automata, Languages and Programming, 2003.
6. D. Gunnarsson. 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, 2007. Supervised by Christian W. Probst, IMM, DTU.
7. R. R. Hansen, C. W. Probst, and F. Nielson. Sandboxing in myKlaim. In The First International Conference on Availability, Reliability and Security, ARES'06, Vienna, Austria, Apr. 2006. IEEE Computer Society.
8. Jérôme Kerviel. Available from http://en.wikipedia.org/wiki/ Jerome Kerviel, last visited December 4, 2008.
9. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
10. R. D. Nicola, G. Ferrari, and R. Pugliese. KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, May 1998.
11. R. D. Nicola, D. Gorla, R. R. Hansen, F. Nielson, H. R. Nielson, C. W. Probst, and R. Pugliese. From flow logic to static type systems for coordination languages. In D. Lea and G. Zavattaro, editors, COORDINATION, volume 5052 of Lecture Notes in Computer Science, pages 100-116. Springer, 2008.
12. F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
13. C. W. Probst and R. R. Hansen. An extensible analysable system model. Information Security Technical Report, 13(4):235-246, 2008.
14. C. W. Probst, R. R. Hansen, and F. Nielson. Where can an insider attack? In T. Dimitrakos, F. Martinelli, P. Y. A. Ryan, and S. A. Schneider, editors, Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, pages 127-142. Springer, 2006.
15. N. D. Schwartz and K. Bennhold. A trader's secrets, a bank's missteps. New York Times, February 5, 2009.
16. L. P. Swiler, C. Phillips, D. Ellis, and S. Chakerian. Computer-attack graph generation tool. DARPA Information Survivability Conference and Exposition,, 2:1307, 2001.