3516 search results - page 496 / 704 » Integrating Security Modeling into Embedded System Design |
154
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...
122
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
138
click to vote
COMPSEC
2008
15 years 4 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
143
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
155
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
We construct the first public-key encryption scheme in the Bounded-Retrieval Model (BRM), providing security against various forms of adversarial “key leakage” attacks. In th...