1894 search results - page 191 / 379 » A TLA Proof System |
118
click to vote
VOTEID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
173
click to vote
SPC
2005
Springer
15 years 9 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
141
click to vote
IWMM
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discar...
135
click to vote
CARDIS
2010
Springer
15 years 7 months ago
2010
Springer
This paper establishes a novel model for RFID schemes where readers are not continuously connected to the back office, but only periodically. Furthermore, adversaries are not only ...
166
click to vote
CLIMA
2006
15 years 5 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...