563 search results - page 61 / 113 » Verifiable Signature Sharing |
ENTCS
2006
14 years 12 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
IEEEARES
2008
IEEE
15 years 6 months ago
2008
IEEE
A secure logging mechanism named haplog is proposed. In essence, haplog uses only one-way hash functions to achieve the security and functional requirements of logging. This makes...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we consider the problem of securely outsourcing computation on private data. We present a protocol for securely distributing the computation of the data structures u...