4731 search results - page 745 / 947 » Securing Interactive Programs |
164
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces a mechanism for establishing policies for electronic commerce in a uni ed and secure manner. A commercial policy can be viewed as the embodiment of a contrac...
215
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
187
click to vote
CISC
2007
Springer
15 years 10 months ago
2007
Springer
A multi-secret sharing scheme allows several secrets to be shared amongst a group of participants. In 2005, Shao and Cao developed a verifiable multi-secret sharing scheme where e...
159
click to vote
ACNS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
181
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...