143 search results - page 15 / 29 » A Formalization of Distributed Authorization with Delegation |
121
click to vote
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
79
Voted
ECOOPW
1997
Springer
15 years 4 months ago
1997
Springer
: Most of the study of patterns has been restricted to the composition of "new" patterns. These authors, however, believe that the investigation of design patterns is rip...
196
click to vote
CADE
2011
Springer
14 years 10 days ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
EJWCN
2010
14 years 7 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...