1801 search results - page 2 / 361 » Implementation-Oriented Secure Architectures |
HPCA
2011
IEEE
12 years 9 months ago
2011
IEEE
The ever increasing size and complexity of Operating System (OS) kernel code bring an inevitable increase in the number of security vulnerabilities that can be exploited by attack...
COREGRID
2007
Springer
13 years 12 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
TRUSTBUS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Current challenges on the markets cause companies to interact with one another and strive after becoming members of virtual organizations assuming that in doing so they c...
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
COMCOM
2002
13 years 5 months ago
2002
Many security approaches are currently used in organisations. In spite of the widespread use of these security techniques, network intrusion remains a problem. This paper discusse...