1612 search results - page 106 / 323 » About models of security protocols |
153
click to vote
CARDIS
2008
Springer
15 years 6 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
154
click to vote
SPC
2005
Springer
15 years 9 months ago
2005
Springer
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
143
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
157
click to vote
IEEEHPCS
2010
15 years 2 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
130
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...