209 search results - page 15 / 42 » Towards a Systematic Development of Secure Systems |
EICS
2010
ACM
14 years 28 days ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
HOTDEP
2008
13 years 11 months ago
2008
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...
ITNG
2008
IEEE
14 years 3 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
ACSAC
2007
IEEE
14 years 18 days ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...