Automatically assigned DDC number: 005115
Manually assigned DDC number: 005131

Number of references: 16

Title: Compiling and Verifying Security Protocols

Author:

Author:

Subject: Florent Jacquemard,Laurent Vigneron Compiling and Verifying Security Protocols

Description: We propose a direct and fully automated translation from standard security protocol descriptions to rewrite rules. This compilation defines non-ambiguous operational semantics for protocols and intruder behavior: they are rewrite systems executed by applying a variant of ac-narrowing. The rewrite rules are processed by the theorem-prover daTac. Multiple instances of a protocol can be run simultaneously as well as a model of the intruder (among several possible). The existence of flaws in the protocol is revealed by the derivation of an inconsistency. Our implementation of the compiler CASRUL, together with the prover daTac, permitted us to derive security flaws in many classical cryptographic protocols.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-11-14

Pubyear: 2000

Format: ps

Identifier: http://citeseer.ist.psu.edu/381449.html

Source: http://www.loria.fr/~rusi/pub/lpar2000.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml version="1.0" encoding="UTF-8"?>

<references_metadata>

<rec ID="/377675.html" Type="incollection" CiteSeer_Book="Resolution of Equations in Algebraic Structures" CiteSeer_Volume="" Title="Completion Without Failure,">

<identifier Org="ISBN:0818607939" Paper_ID="/377675.html" Extracted="0818607939" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0821806114" Paper_ID="/377675.html" Extracted="0821806114" DDC="006.3/0151" Normalized_DDC="00630151" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1558604804" Paper_ID="/377675.html" Extracted="1558604804" />

<identifier Org="ISBN:3540000100" Paper_ID="/377675.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540539042" Paper_ID="/377675.html" Extracted="3540539042" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540543171" Paper_ID="/377675.html" Extracted="3540543171" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540551247" Paper_ID="/377675.html" Extracted="3540551247" DDC="006.3/5" Normalized_DDC="00635" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354055873X" Paper_ID="/377675.html" Extracted="354055873X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540568832" Paper_ID="/377675.html" Extracted="3540568832" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540584676" Paper_ID="/377675.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540592008" Paper_ID="/377675.html" Extracted="3540592008" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540593403" Paper_ID="/377675.html" Extracted="3540593403" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540603816" Paper_ID="/377675.html" Extracted="3540603816" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540632336" Paper_ID="/377675.html" Extracted="3540632336" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540633855" Paper_ID="/377675.html" Extracted="3540633855" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540635866" Paper_ID="/377675.html" Extracted="3540635866" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3764359013" Paper_ID="/377675.html" Extracted="3764359013" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

</rec>

<rec ID="/424064.html" Type="inproceedings" CiteSeer_Book="Conditional Term Rewriting Systems" CiteSeer_Volume="" Title="Associative-Commutative Superposition,">

<identifier Org="ISBN:0821806114" Paper_ID="/424064.html" Extracted="0821806114" DDC="006.3/0151" Normalized_DDC="00630151" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:1402007493" Paper_ID="/424064.html" Extracted="1402007493" DDC="530.13/8" Normalized_DDC="530138" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540255931" Paper_ID="/424064.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540405593" Paper_ID="/424064.html" Extracted="3540405593" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540412859" Paper_ID="/424064.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540422544" Paper_ID="/424064.html" Extracted="3540422544" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:354059132X" Paper_ID="/424064.html" Extracted="354059132X" DDC="005.7/3" Normalized_DDC="00573" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540593403" Paper_ID="/424064.html" Extracted="3540593403" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540603816" Paper_ID="/424064.html" Extracted="3540603816" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540614648" Paper_ID="/424064.html" Extracted="3540614648" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540615113" Paper_ID="/424064.html" Extracted="3540615113" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540646752" Paper_ID="/424064.html" Extracted="3540646752" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:354067778X" Paper_ID="/424064.html" Extracted="354067778X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3765718726" Paper_ID="/424064.html" Extracted="3765718726" />

</rec>

<rec ID="/245293.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="CAPSL Intermediate Language,">

<identifier Org="ISBN:0769506712" Paper_ID="/245293.html" Extracted="0769506712" DDC="004.22" Normalized_DDC="00422" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0792361733" Paper_ID="/245293.html" Extracted="0792361733" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0792379233" Paper_ID="/245293.html" Extracted="0792379233" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540007083" Paper_ID="/245293.html" Extracted="3540007083" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540202218" Paper_ID="/245293.html" Extracted="3540202218" DDC="620/.0042/0285" Normalized_DDC="62000420285" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540283897" Paper_ID="/245293.html" Extracted="3540283897" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540291075" Paper_ID="/245293.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540406654" Paper_ID="/245293.html" Extracted="3540406654" DDC="629.8/0285/63" Normalized_DDC="6298028563" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540412859" Paper_ID="/245293.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540417680" Paper_ID="/245293.html" Extracted="3540417680" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540421033" Paper_ID="/245293.html" Extracted="3540421033" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540439595" Paper_ID="/245293.html" Extracted="3540439595" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540439978" Paper_ID="/245293.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540443096" Paper_ID="/245293.html" Extracted="3540443096" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540665889" Paper_ID="/245293.html" Extracted="3540665889" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354067778X" Paper_ID="/245293.html" Extracted="354067778X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540719407" Paper_ID="/245293.html" Extracted="3540719407" />

</rec>

<rec ID="/233924.html" Type="inproceedings" CiteSeer_Book="PCSFW Proceedings of The 12th Computer Security Foundations Workshop" CiteSeer_Volume="" Title="{CVS}: {A} Compiler for the Analysis of Cryptographic Protocols,">

<identifier Org="ISBN:0769502016" Paper_ID="/233924.html" Extracted="0769502016" />

<identifier Org="ISBN:0769506712" Paper_ID="/233924.html" Extracted="0769506712" DDC="004.22" Normalized_DDC="00422" Normalized_Weight="0.2" />

<identifier Org="ISBN:0769511465" Paper_ID="/233924.html" Extracted="0769511465" />

<identifier Org="ISBN:3540209557" Paper_ID="/233924.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540412859" Paper_ID="/233924.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540675302" Paper_ID="/233924.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540677151" Paper_ID="/233924.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />

</rec>

<rec ID="/142343.html" Type="inproceedings" CiteSeer_Book="PCSFW Proceedings of The 10th Computer Security Foundations Workshop" CiteSeer_Volume="" Title="Casper: {A} Compiler for the Analysis of Security Protocols,">

<identifier Org="ISBN:0201674718" Paper_ID="/142343.html" Extracted="0201674718" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0792373898" Paper_ID="/142343.html" Extracted="0792373898" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0818679905" Paper_ID="/142343.html" Extracted="0818679905" />

<identifier Org="ISBN:1402074492" Paper_ID="/142343.html" Extracted="1402074492" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1586035703" Paper_ID="/142343.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540203001" Paper_ID="/142343.html" Extracted="3540203001" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540236104" Paper_ID="/142343.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540254358" Paper_ID="/142343.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354029208X" Paper_ID="/142343.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354030553X" Paper_ID="/142343.html" Extracted="354030553X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540406719" Paper_ID="/142343.html" Extracted="3540406719" />

<identifier Org="ISBN:3540412859" Paper_ID="/142343.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540425667" Paper_ID="/142343.html" Extracted="3540425667" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540428968" Paper_ID="/142343.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540434771" Paper_ID="/142343.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540439153" Paper_ID="/142343.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540721592" Paper_ID="/142343.html" Extracted="3540721592" />

<identifier Org="ISBN:3540732098" Paper_ID="/142343.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540751009" Paper_ID="/142343.html" Extracted="3540751009" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540756973" Paper_ID="/142343.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/460533.html" Type="inproceedings" CiteSeer_Book="PCSFW Proceedings of The 11th Computer Security Foundations Workshop" CiteSeer_Volume="" Title="Towards a Completeness Result for Model Checking of Security Protocols,">

<identifier Org="ISBN:0769502016" Paper_ID="/460533.html" Extracted="0769502016" />

<identifier Org="ISBN:0769506712" Paper_ID="/460533.html" Extracted="0769506712" DDC="004.22" Normalized_DDC="00422" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0818684887" Paper_ID="/460533.html" Extracted="0818684887" />

<identifier Org="ISBN:1586035703" Paper_ID="/460533.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1591406218" Paper_ID="/460533.html" Extracted="1591406218" DDC="006.7/4" Normalized_DDC="00674" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540008861" Paper_ID="/460533.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540206809" Paper_ID="/460533.html" Extracted="3540206809" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540253882" Paper_ID="/460533.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540412859" Paper_ID="/460533.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540422870" Paper_ID="/460533.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540424997" Paper_ID="/460533.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540439153" Paper_ID="/460533.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540439978" Paper_ID="/460533.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540443096" Paper_ID="/460533.html" Extracted="3540443096" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540694846" Paper_ID="/460533.html" Extracted="3540694846" />

<identifier Org="ISBN:3540710698" Paper_ID="/460533.html" Extracted="3540710698" />

<identifier Org="ISBN:3540748342" Paper_ID="/460533.html" Extracted="3540748342" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540751009" Paper_ID="/460533.html" Extracted="3540751009" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540894381" Paper_ID="/460533.html" Extracted="3540894381" />

</rec>

<rec ID="/98652.html" Type="article" CiteSeer_Book="Journal of Computer Security" CiteSeer_Volume="1" Title="Applying Formal Methods to the Analysis of a Key Management Protocol,">

<identifier Org="ISBN:0309065585" Paper_ID="/98652.html" Extracted="0309065585" DDC="384.3" Normalized_DDC="3843" Normalized_Weight="0.1" />

<identifier Org="ISBN:0412817705" Paper_ID="/98652.html" Extracted="0412817705" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1" />

<identifier Org="ISBN:0769521088" Paper_ID="/98652.html" Extracted="0769521088" />

<identifier Org="ISBN:0780335279" Paper_ID="/98652.html" Extracted="0780335279" />

<identifier Org="ISBN:0792376838" Paper_ID="/98652.html" Extracted="0792376838" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.1" />

<identifier Org="ISBN:0792386000" Paper_ID="/98652.html" Extracted="0792386000" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1" />

<identifier Org="ISBN:0818621680" Paper_ID="/98652.html" Extracted="0818621680" />

<identifier Org="ISBN:0818633700" Paper_ID="/98652.html" Extracted="0818633700" />

<identifier Org="ISBN:081863670X" Paper_ID="/98652.html" Extracted="081863670X" />

<identifier Org="ISBN:0818677678" Paper_ID="/98652.html" Extracted="0818677678" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1" />

<identifier Org="ISBN:0818679905" Paper_ID="/98652.html" Extracted="0818679905" />

<identifier Org="ISBN:0818684887" Paper_ID="/98652.html" Extracted="0818684887" />

<identifier Org="ISBN:0897918290" Paper_ID="/98652.html" Extracted="0897918290" />

<identifier Org="ISBN:3540008861" Paper_ID="/98652.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540327312" Paper_ID="/98652.html" Extracted="3540327312" DDC="005.82" Normalized_DDC="00582" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540412859" Paper_ID="/98652.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540601767" Paper_ID="/98652.html" Extracted="3540601767" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540631410" Paper_ID="/98652.html" Extracted="3540631410" />

<identifier Org="ISBN:3540646086" Paper_ID="/98652.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.1" />

</rec>

<rec ID="/147355.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="26" Title="The {NRL} Protocol Analyzer: An Overview,">

<identifier Org="ISBN:038720170X" Paper_ID="/147355.html" Extracted="038720170X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0818679905" Paper_ID="/147355.html" Extracted="0818679905" />

<identifier Org="ISBN:1402073968" Paper_ID="/147355.html" Extracted="1402073968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1581137818" Paper_ID="/147355.html" Extracted="1581137818" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1586039164" Paper_ID="/147355.html" Extracted="1586039164" />

<identifier Org="ISBN:3540023542" Paper_ID="/147355.html" Extracted="3540023542" DDC="004.67/8" Normalized_DDC="004678" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540206930" Paper_ID="/147355.html" Extracted="3540206930" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540223452" Paper_ID="/147355.html" Extracted="3540223452" DDC="006.333" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540235639" Paper_ID="/147355.html" Extracted="3540235639" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540250174" Paper_ID="/147355.html" Extracted="3540250174" />

<identifier Org="ISBN:354029208X" Paper_ID="/147355.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540327312" Paper_ID="/147355.html" Extracted="3540327312" DDC="005.82" Normalized_DDC="00582" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540402543" Paper_ID="/147355.html" Extracted="3540402543" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540407979" Paper_ID="/147355.html" Extracted="3540407979" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540423451" Paper_ID="/147355.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354042525X" Paper_ID="/147355.html" Extracted="354042525X" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540428968" Paper_ID="/147355.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540433538" Paper_ID="/147355.html" Extracted="3540433538" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540439161" Paper_ID="/147355.html" Extracted="3540439161" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:9051994591" Paper_ID="/147355.html" Extracted="9051994591" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/55031.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Automated Analysis of Cryptographic Protocols Using Mur$\phi$," />

<rec ID="/309878.html" Type="incollection" CiteSeer_Book="Handbook of Automated Reasoning" CiteSeer_Volume="" Title="Paramodulation-Based Theorem Proving,">

<identifier Org="ISBN:3540209654" Paper_ID="/309878.html" Extracted="3540209654" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540223452" Paper_ID="/309878.html" Extracted="3540223452" DDC="006.333" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540252363" Paper_ID="/309878.html" Extracted="3540252363" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540280057" Paper_ID="/309878.html" Extracted="3540280057" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540289313" Paper_ID="/309878.html" Extracted="3540289313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540290516" Paper_ID="/309878.html" Extracted="3540290516" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540405593" Paper_ID="/309878.html" Extracted="3540405593" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540412859" Paper_ID="/309878.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540419500" Paper_ID="/309878.html" Extracted="3540419500" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540422544" Paper_ID="/309878.html" Extracted="3540422544" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540422870" Paper_ID="/309878.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540439293" Paper_ID="/309878.html" Extracted="3540439293" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540540601" Paper_ID="/309878.html" Extracted="3540540601" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540710698" Paper_ID="/309878.html" Extracted="3540710698" />

<identifier Org="ISBN:3540730834" Paper_ID="/309878.html" Extracted="3540730834" DDC="512.00285" Normalized_DDC="51200285" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540735941" Paper_ID="/309878.html" Extracted="3540735941" />

<identifier Org="ISBN:3540875301" Paper_ID="/309878.html" Extracted="3540875301" />

<identifier Org="ISBN:3642005926" Paper_ID="/309878.html" Extracted="3642005926" />

</rec>

<rec ID="/372532.html" Type="article" CiteSeer_Book="Journal of Computer Security" CiteSeer_Volume="6" Title="The Inductive Approach to Verifying Cryptographic Protocols,">

<identifier Org="ISBN:1591407850" Paper_ID="/372532.html" Extracted="1591407850" DDC="006.7" Normalized_DDC="0067" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540008861" Paper_ID="/372532.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540203001" Paper_ID="/372532.html" Extracted="3540203001" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540205373" Paper_ID="/372532.html" Extracted="3540205373" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540206809" Paper_ID="/372532.html" Extracted="3540206809" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540206930" Paper_ID="/372532.html" Extracted="3540206930" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540223452" Paper_ID="/372532.html" Extracted="3540223452" DDC="006.333" Normalized_DDC="006333" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540236104" Paper_ID="/372532.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354023635X" Paper_ID="/372532.html" Extracted="354023635X" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540283099" Paper_ID="/372532.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540283897" Paper_ID="/372532.html" Extracted="3540283897" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354042525X" Paper_ID="/372532.html" Extracted="354042525X" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540426108" Paper_ID="/372532.html" Extracted="3540426108" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540426620" Paper_ID="/372532.html" Extracted="3540426620" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540436316" Paper_ID="/372532.html" Extracted="3540436316" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540442634" Paper_ID="/372532.html" Extracted="3540442634" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540660860" Paper_ID="/372532.html" Extracted="3540660860" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354067442X" Paper_ID="/372532.html" Extracted="354067442X" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540732098" Paper_ID="/372532.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05263157894736842" />

</rec>

<rec ID="/486745.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Modelling and Verifying Key-Exchange Protocols Using {CSP} and {FDR},">

<identifier Org="ISBN:0387240500" Paper_ID="/486745.html" Extracted="0387240500" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0769502016" Paper_ID="/486745.html" Extracted="0769502016" />

<identifier Org="ISBN:0780341597" Paper_ID="/486745.html" Extracted="0780341597" />

<identifier Org="ISBN:0792375580" Paper_ID="/486745.html" Extracted="0792375580" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0818679905" Paper_ID="/486745.html" Extracted="0818679905" />

<identifier Org="ISBN:3540203001" Paper_ID="/486745.html" Extracted="3540203001" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540283099" Paper_ID="/486745.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540403183" Paper_ID="/486745.html" Extracted="3540403183" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540412859" Paper_ID="/486745.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540417680" Paper_ID="/486745.html" Extracted="3540417680" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540427007" Paper_ID="/486745.html" Extracted="3540427007" DDC="332.1/0285" Normalized_DDC="33210285" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540429522" Paper_ID="/486745.html" Extracted="3540429522" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540439153" Paper_ID="/486745.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540439161" Paper_ID="/486745.html" Extracted="3540439161" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540606300" Paper_ID="/486745.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540646086" Paper_ID="/486745.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540662243" Paper_ID="/486745.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540668004" Paper_ID="/486745.html" Extracted="3540668004" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540677429" Paper_ID="/486745.html" Extracted="3540677429" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:9051994591" Paper_ID="/486745.html" Extracted="9051994591" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/179895.html" Type="inproceedings" CiteSeer_Book="Fundamentals of Artificial Intelligence" CiteSeer_Volume="" Title="Automated deduction with associative-commutative operators,">

<identifier Org="ISBN:0821806114" Paper_ID="/179895.html" Extracted="0821806114" DDC="006.3/0151" Normalized_DDC="00630151" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540280057" Paper_ID="/179895.html" Extracted="3540280057" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540412859" Paper_ID="/179895.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540545077" Paper_ID="/179895.html" Extracted="3540545077" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540581561" Paper_ID="/179895.html" Extracted="3540581561" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.1" />

<identifier Org="ISBN:354058403X" Paper_ID="/179895.html" Extracted="354058403X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540603816" Paper_ID="/179895.html" Extracted="3540603816" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540606491" Paper_ID="/179895.html" Extracted="3540606491" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540613773" Paper_ID="/179895.html" Extracted="3540613773" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540662227" Paper_ID="/179895.html" Extracted="3540662227" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.1" />

<identifier Org="ISBN:379081119X" Paper_ID="/179895.html" Extracted="379081119X" />

</rec>

<rec ID="/315312.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Dolev-Yao is no better than Machiavelli,">

<identifier Org="ISBN:0387244859" Paper_ID="/315312.html" Extracted="0387244859" DDC="305.8" Normalized_DDC="3058" Normalized_Weight="0.25" />

<identifier Org="ISBN:1581133855" Paper_ID="/315312.html" Extracted="1581133855" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.25" />

<identifier Org="ISBN:1586035703" Paper_ID="/315312.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.25" />

<identifier Org="ISBN:1595932283" Paper_ID="/315312.html" Extracted="1595932283" />

<identifier Org="ISBN:2874630772" Paper_ID="/315312.html" Extracted="2874630772" />

<identifier Org="ISBN:3540007083" Paper_ID="/315312.html" Extracted="3540007083" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.25" />

<identifier Org="ISBN:3540192425" Paper_ID="/315312.html" Extracted="3540192425" />

</rec>

<rec ID="/346177.html" Type="inproceedings" CiteSeer_Book="CSL" CiteSeer_Volume="" Title="Positive Deduction modulo Regular Theories,">

<identifier Org="ISBN:3540412859" Paper_ID="/346177.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.25" />

<identifier Org="ISBN:3540421173" Paper_ID="/346177.html" Extracted="3540421173" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.25" />

<identifier Org="ISBN:3540439978" Paper_ID="/346177.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.25" />

<identifier Org="ISBN:3540613773" Paper_ID="/346177.html" Extracted="3540613773" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.25" />

</rec>

<rec ID="/111579.html" Type="inproceedings" CiteSeer_Book="RSP IEEE Computer Society Symposium on Research in Security and Privacy" CiteSeer_Volume="" Title="A Semantic Model for Authentication Protocols,">

<identifier Org="ISBN:0387240500" Paper_ID="/111579.html" Extracted="0387240500" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:0769502016" Paper_ID="/111579.html" Extracted="0769502016" />

<identifier Org="ISBN:0769516890" Paper_ID="/111579.html" Extracted="0769516890" />

<identifier Org="ISBN:0780335279" Paper_ID="/111579.html" Extracted="0780335279" />

<identifier Org="ISBN:0818633700" Paper_ID="/111579.html" Extracted="0818633700" />

<identifier Org="ISBN:081863670X" Paper_ID="/111579.html" Extracted="081863670X" />

<identifier Org="ISBN:0818666854" Paper_ID="/111579.html" Extracted="0818666854" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:0818679905" Paper_ID="/111579.html" Extracted="0818679905" />

<identifier Org="ISBN:1581137818" Paper_ID="/111579.html" Extracted="1581137818" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540208135" Paper_ID="/111579.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540229426" Paper_ID="/111579.html" Extracted="3540229426" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540254358" Paper_ID="/111579.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540403256" Paper_ID="/111579.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540407537" Paper_ID="/111579.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540412859" Paper_ID="/111579.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540442359" Paper_ID="/111579.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540751009" Paper_ID="/111579.html" Extracted="3540751009" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540756973" Paper_ID="/111579.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540766367" Paper_ID="/111579.html" Extracted="3540766367" />

<identifier Org="ISBN:3764365102" Paper_ID="/111579.html" Extracted="3764365102" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.07692307692307693" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Compiling and Verifying Security Protocols">

<identifier Org="ISBN:0769511465" Paper_ID="SELF" Extracted="0769511465" />

<identifier Org="ISBN:1581135289" Paper_ID="SELF" Extracted="1581135289" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1586036734" Paper_ID="SELF" Extracted="1586036734" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1591406218" Paper_ID="SELF" Extracted="1591406218" DDC="006.7/4" Normalized_DDC="00674" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1595932348" Paper_ID="SELF" Extracted="1595932348" />

<identifier Org="ISBN:3540001417" Paper_ID="SELF" Extracted="3540001417" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540203001" Paper_ID="SELF" Extracted="3540203001" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540206930" Paper_ID="SELF" Extracted="3540206930" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540208518" Paper_ID="SELF" Extracted="3540208518" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540250174" Paper_ID="SELF" Extracted="3540250174" />

<identifier Org="ISBN:3540280057" Paper_ID="SELF" Extracted="3540280057" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540300074" Paper_ID="SELF" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540408282" Paper_ID="SELF" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540412859" Paper_ID="SELF" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540439153" Paper_ID="SELF" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540439978" Paper_ID="SELF" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540442359" Paper_ID="SELF" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540883126" Paper_ID="SELF" Extracted="3540883126" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:364201464X" Paper_ID="SELF" Extracted="364201464X" />

</rec>

</references_metadata>