756 search results - page 19 / 152 » Modeling Computational Security in Long-Lived Systems |
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
BIRTHDAY
2012
Springer
12 years 5 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...
HOTOS
2003
IEEE
14 years 2 months ago
2003
IEEE
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...