|
School of Engineering
and Information Sciences
Research
Seminars
(Autumn Term 2010-11)
Abstract
An Extensible Analysable System Model
Christian W. Probst
Language-based Technology
Technical University of Denmark
https://www.imm.dtu.dk/~probst
Abstract
Analysing real-world systems for vulnerabilities with respect to security and safety threats is a difficult undertaking, not least due to a lack of availability of formalizations for those systems. Many approaches to assurance of (critical) infrastructure security are based on (quite successful) ad-hoc techniques. We believe that they can be significantly improved beyond the state-of-the-art by pairing them with static analysis techniques.
We present an approach that formalises real-world systems as directed graphs, which in turn are mapped on a process calculus with support for access control. The process calculus provides the underlying semantics, which allows for easy development of analyses for the abstracted system. The system model is extensible, and allows modular composition of larger scenarios.
|
