1737 search results - page 242 / 348 » Hardware Support for Secure Processing in Embedded Systems |
175
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
110
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
123
click to vote
ENTCS
2007
15 years 4 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
119
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
119
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...