3516 search results - page 38 / 704 » Integrating Security Modeling into Embedded System Design |
ICDCIT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
SIGOPS
2008
13 years 8 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
FSKD
2006
Springer
14 years 13 days ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
ANSS
2008
IEEE
14 years 3 months ago
2008
IEEE