4184 search results - page 256 / 837 » Names of Our Lives |
199
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
205
click to vote
SPC
2005
Springer
16 years 5 days 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...
147
click to vote
ESAW
2004
Springer
16 years 2 days ago
2004
Springer
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
146
click to vote
EUROPKI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Besides the pure technical features, the usability of a PKIenabled application plays a crucial role since the best security application will fail in practice if its usabi...
194
click to vote
PET
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...