2432 search results - page 2 / 487 » Cryptographic logical relations |
CADE
1997
Springer
13 years 10 months ago
1997
Springer
FC
2005
Springer
13 years 11 months ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
CSFW
1999
IEEE
13 years 10 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
LICS
2007
IEEE
14 years 1 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
RELMICS
1998
Springer
13 years 10 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...