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>

www.000webhost.com