609 search results - page 92 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
AAMAS
2007
Springer
13 years 9 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
WMCSA
2008
IEEE
2008
IEEE
Location-based trust for mobile user-generated content: applications, challenges and implementations
14 years 3 months ago
The recent explosion in shared media content and sensed data produced by mobile end-users is challenging well-established principles and assumptions in data trust models. A fundam...
RAID
2004
Springer
14 years 2 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
FOCS
2000
IEEE
14 years 1 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
ASIACRYPT
2003
Springer
14 years 2 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...