741 search results - page 65 / 149 » Verification of security protocols using LOTOS-method and ap... |
141
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
115
click to vote
PODC
2004
ACM
15 years 9 months ago
2004
ACM
Secure function evaluation (SFE) enables a group of players, by themselves, to evaluate a function on private inputs as securely as if a trusted third party had done it for them. ...
139
click to vote
ECOWS
2007
Springer
15 years 5 months ago
2007
Springer
Key establishment is essential for many applications of cryptography. Its purpose is to negotiate keys for other cryptographic schemes, usually for encryption and authentication. I...
137
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
153
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...