2291 search results - page 393 / 459 » Logic Programming and Model Checking |
133
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
137
Voted
SCP
2010
14 years 9 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
107
click to vote
PERCOM
2009
ACM
15 years 9 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
136
Voted
ISLPED
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents a delay optimal FPGA clustering algorithm targeting low power. We assume that the configurable logic blocks of the FPGA can be programmed using either a high s...
129
click to vote
TCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...