1587 search results - page 83 / 318 » Security Patterns and Secure Systems Design Using UML |
143
click to vote
HOST
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs) used in safety critical, security and military systems. The migration of IC fabrication to low-cost ...
145
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
118
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
120
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
A TCB and security kernel architecture for supporting multi-threaded, queue-driven transaction processing applications in a multilevel secure environment is presented. Our design ...
154
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...