Finitary Deduction Systems

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0


30 pages. Work begun while in the CASSIS Project, INRIA Nancy Grand Est

Scientific paper

Cryptographic protocols are the cornerstone of security in distributed systems. The formal analysis of their properties is accordingly one of the focus points of the security community, and is usually split among two groups. In the first group, one focuses on trace-based security properties such as confidentiality and authentication, and provides decision procedures for the existence of attacks for an on-line attackers. In the second group, one focuses on equivalence properties such as privacy and guessing attacks, and provides decision procedures for the existence of attacks for an offline attacker. In all cases the attacker is modeled by a deduction system in which his possible actions are expressed. We present in this paper a notion of finitary deduction systems that aims at relating both approaches. We prove that for such deduction systems, deciding equivalence properties for on-line attackers can be reduced to deciding reachability properties in the same setting.

No associations


Say what you really think

Search for scientists and scientific papers. Rate them and share your experience with other people.


Finitary Deduction Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Finitary Deduction Systems, we encourage you to share that experience with our community. Your opinion is very important and Finitary Deduction Systems will most certainly appreciate the feedback.

Rate now


Profile ID: LFWR-SCP-O-653155

All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.