2687 search results - page 245 / 538 » Formal Analysis of PKCS |
130
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
tope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, F-91191 Gif-sur-Yvette Cedex, France, ...
184
click to vote
FC
2007
Springer
16 years 25 days ago
2007
Springer
Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its a...
135
click to vote
MKM
2004
Springer
16 years 15 hour ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
150
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— This paper addresses the impedance control problem for flexible joint manipulators. An impedance controller structure is proposed, which is based on an exact decoupling of the...
139
click to vote
CEEMAS
2001
Springer
15 years 11 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...