947 search results - page 118 / 190 » Provable Implementations of Security Protocols |
114
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
We developed a new Web authentication protocol with passwordbased mutual authentication which prevents various kinds of phishing attacks. This protocol provides a protection of us...
152
Voted
JSS
2007
15 years 3 months ago
2007
We present the SEcure communicAtion Library (SEAL), a Linux-based C language application programming interface (API) library that implements secure group key agreement algorithms ...
161
Voted
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...
152
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Wireless sensor nodes generally face serious limitations in terms of computational power, energy supply, and network bandwidth. Therefore, the implementation of effective and sec...
103
Voted
ENTCS
2006
15 years 3 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...