838 search results - page 34 / 168 » From Natural Language to Formal Proof Goal |
172
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
146
click to vote
CTRSA
2005
Springer
15 years 11 months ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suffer from the simple fact that a single server stores the sensitive user password. In practice, when such a ...
150
click to vote
PTS
2010
15 years 4 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
133
click to vote
CRYPTO
2009
Springer
16 years 19 days ago
2009
Springer
We construct an efficient delegatable anonymous credentials system. Users can anonymously and unlinkably obtain credentials from any authority, delegate their credentials to other ...