1656 search results - page 59 / 332 » Secure Computation Without Authentication |
107
Voted
APNOMS
2009
Springer
15 years 7 months ago
2009
Springer
Wireless mesh network can increase service coverage by low-cost multiple-paths between a source and a destination. But because of the wireless nature, wireless mesh network is vuln...
109
Voted
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
113
click to vote
FPLAY
2008
15 years 2 months ago
2008
User authentication involves establishing a user's right to access a system. Most user authentication is done with text passwords, which have advantages over other approaches...
126
click to vote
SASN
2003
ACM
15 years 6 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
123
click to vote
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...