Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
A Call to Action: Look Beyond the Horizon
IEEE Security and Privacy
Guest Editors' Introduction: The Science of Security
IEEE Security and Privacy
Security Modeling and Analysis
IEEE Security and Privacy
On Adversary Models and Compositional Security
IEEE Security and Privacy
A unified design method utilizing decomposability and composability for secure systems
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
Hi-index | 0.00 |
In this paper, we investigate the problem of designing secure and trustworthy systems based on the notion of attack space. In particular, we consider the study of structural properties of a system at a design or architectural level. This preliminary work is inspired by the structure theory of machines and is stimulated by the emerging needs for designing secure and trustworthy systems. We believe that the study of structural properties of machines can provide an interesting approach to understanding the design problems of trustworthy systems. To illustrate the idea, we use an example of the simple machine structure which has specific structural properties. Finally we provide several research problems.