718 search results - page 15 / 144 » Security protocols, properties, and their monitoring |
139
click to vote
HOST
2011
IEEE
13 years 11 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper proposes an improved free-roaming mobile agent security protocol. The scheme uses "one hop backwards and two hops forwards" chain relation as the protocol cor...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
111
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...