4356 search results - page 219 / 872 » Communicating Transactions - (Extended Abstract) |
173
click to vote
ASM
2005
ASM
16 years 5 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
164
click to vote
CACM
1999
15 years 6 months ago
1999
uire an abstraction layer, without paying the performance penalty paid by microkernels. By allowing for kernel modules, hardware-specific code can often be confined to a module, ke...
136
click to vote
JGAA
2002
15 years 6 months ago
2002
We prove a very general representation theorem for posets and, as a corollary, deduce that any abstract simplicial complex has a geometric realization in the Euclidean space of di...
214
click to vote
ICISS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
180
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...