5488 search results - page 122 / 1098 » On the Secure Implementation of Security Protocols |
130
click to vote
ICMCS
2010
IEEE
15 years 5 months ago
2010
IEEE
Alice and Bob possess sequences x and y respectively and would like to compute the 1 distance, namely x - y 1 under privacy and communication constraints. The privacy constraint r...
145
click to vote
ENTCS
2007
15 years 4 months ago
2007
The potentials of modern information technology can only be exploited, if the underlying infrastructure and the applied applications sufficiently take into account all aspects of ...
112
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
123
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
158
click to vote
JOC
2007
15 years 4 months ago
2007
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...