741 search results - page 58 / 149 » Verification of security protocols using LOTOS-method and ap... |
134
click to vote
ICISC
2008
15 years 5 months ago
2008
Secure Evaluation of Private Functions (PF-SFE) allows two parties to compute a private function which is known by one party only on private data of both. It is known that PF-SFE c...
154
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
120
Voted
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
130
click to vote
PADL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
137
click to vote
AMW
2010
15 years 5 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...