691 search results - page 50 / 139 » A New Security Model for Authenticated Key Agreement |
129
click to vote
ENTCS
2007
15 years 1 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...
114
click to vote
ESORICS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
106
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
148
click to vote
TWC
2008
15 years 1 months ago
2008
Symmetric key agreement is significant to security provisioning in sensor networks with resource limitations. A number of pairwise key pre-distribution protocols have been proposed...