Automatically assigned DDC number: 0058
Manually assigned DDC number: 0058

Number of references: 29

Title: Is It Possible to Decide Whether a Cryptographic Protocol is Secure Or Not?

Subject: Is It Possible to Decide Whether a Cryptographic Protocol is Secure Or Not?

Description: We consider the so called "cryptographic protocols" whose aim is to ensure some security properties when communication channels are not reliable. Such protocols usually rely on cryptographic primitives. Even if it is assumed that the cryptographic primitives are perfect, the security goals may not be achieved: the protocol itself may have weaknesses which can be exploited by an attacker. We survey recent work on decision techniques for the cryptographic protocol analysis.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2001-12-28

Pubyear: 2001

Format: ps

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

Source: http://www.lsv.ens-cachan.fr/~comon/ftp.articles/crypto-survey.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

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="/319632.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Security protocols and their properties,">

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

<identifier Org="ISBN:0769523404" Paper_ID="/319632.html" Extracted="0769523404" />

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

<identifier Org="ISBN:1402062656" Paper_ID="/319632.html" Extracted="1402062656" DDC="629.8" Normalized_DDC="6298" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1586030159" Paper_ID="/319632.html" Extracted="1586030159" />

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

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

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

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

<identifier Org="ISBN:3540297979" Paper_ID="/319632.html" Extracted="3540297979" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540417117" Paper_ID="/319632.html" Extracted="3540417117" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.07142857142857142" />

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

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

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

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

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

<identifier Org="ISBN:364203828X" Paper_ID="/319632.html" Extracted="364203828X" />

</rec>

<rec ID="/64607.html" Type="inproceedings" CiteSeer_Book="Fourth ACM Conference on Computer and Communications Security" CiteSeer_Volume="" Title="A Calculus for Cryptographic Protocols: The Spi Calculus,">

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

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

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

<identifier Org="ISBN:1402081405" Paper_ID="/64607.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.0625" />

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

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

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

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

<identifier Org="ISBN:354022940X" Paper_ID="/64607.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

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

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

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

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

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

<identifier Org="ISBN:354043366X" Paper_ID="/64607.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

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

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

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

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

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

</rec>

<rec ID="/21933.html" Type="article" CiteSeer_Book="IEEE Transactions on Software Engineering" CiteSeer_Volume="22" Title="Prudent Engineering Practice for Cryptographic Protocols,">

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

<identifier Org="ISBN:0387879684" Paper_ID="/21933.html" Extracted="0387879684" DDC="005.82" Normalized_DDC="00582" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:0818656778" Paper_ID="/21933.html" Extracted="0818656778" />

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

<identifier Org="ISBN:1586030159" Paper_ID="/21933.html" Extracted="1586030159" />

<identifier Org="ISBN:1586032542" Paper_ID="/21933.html" Extracted="1586032542" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

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

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

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

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

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

<identifier Org="ISBN:3540213139" Paper_ID="/21933.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540220542" Paper_ID="/21933.html" Extracted="3540220542" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540314288" Paper_ID="/21933.html" Extracted="3540314288" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540418644" Paper_ID="/21933.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

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

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

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

</rec>

<rec ID="/380744.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1877" Title="On the Reachability Problem in Cryptographic Protocols,">

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

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

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

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

<identifier Org="ISBN:3540008985" Paper_ID="/380744.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540208038" Paper_ID="/380744.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540212981" Paper_ID="/380744.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354022940X" Paper_ID="/380744.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354024302X" Paper_ID="/380744.html" Extracted="354024302X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

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

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

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

<identifier Org="ISBN:3540440437" Paper_ID="/380744.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540678972" Paper_ID="/380744.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540679073" Paper_ID="/380744.html" Extracted="3540679073" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540748091" Paper_ID="/380744.html" Extracted="3540748091" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3642023479" Paper_ID="/380744.html" Extracted="3642023479" />

</rec>

<rec ID="/367982.html" Type="inproceedings" CiteSeer_Book="Proc 9th International Computer Aided Verification Conference" CiteSeer_Volume="" Title="Towards a Mechanization of Cryptographic Protocol Verification,">

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

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

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

<identifier Org="ISBN:1595930140" Paper_ID="/367982.html" Extracted="1595930140" />

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

<identifier Org="ISBN:3540281959" Paper_ID="/367982.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354040709X" Paper_ID="/367982.html" Extracted="354040709X" />

<identifier Org="ISBN:3540415173" Paper_ID="/367982.html" Extracted="3540415173" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />

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

<identifier Org="ISBN:3540431594" Paper_ID="/367982.html" Extracted="3540431594" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540440445" Paper_ID="/367982.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540633790" Paper_ID="/367982.html" Extracted="3540633790" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.08333333333333333" />

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

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

<identifier Org="ISBN:3540676643" Paper_ID="/367982.html" Extracted="3540676643" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540748091" Paper_ID="/367982.html" Extracted="3540748091" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

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

</rec>

<rec ID="/441896.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2076" Title="Symbolic Trace Analysis of Cryptographic Protocols,">

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

<identifier Org="ISBN:1581139713" Paper_ID="/441896.html" Extracted="1581139713" DDC="658.478" Normalized_DDC="658478" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540208038" Paper_ID="/441896.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />

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

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

<identifier Org="ISBN:354022940X" Paper_ID="/441896.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354024302X" Paper_ID="/441896.html" Extracted="354024302X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

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

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

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

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

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

<identifier Org="ISBN:354043366X" Paper_ID="/441896.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540440437" Paper_ID="/441896.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

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

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

<identifier Org="ISBN:3642023479" Paper_ID="/441896.html" Extracted="3642023479" />

</rec>

<rec ID="/18644.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="A survey of authentication protocol literature,">

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

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

<identifier Org="ISBN:0818675225" Paper_ID="/18644.html" Extracted="0818675225" />

<identifier Org="ISBN:0818680024" Paper_ID="/18644.html" Extracted="0818680024" DDC="620/.0028" Normalized_DDC="6200028" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:1581139713" Paper_ID="/18644.html" Extracted="1581139713" DDC="658.478" Normalized_DDC="658478" Normalized_Weight="0.058823529411764705" />

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

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

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

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

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

<identifier Org="ISBN:3540212361" Paper_ID="/18644.html" Extracted="3540212361" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540220542" Paper_ID="/18644.html" Extracted="3540220542" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:3540408010" Paper_ID="/18644.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540687459" Paper_ID="/18644.html" Extracted="3540687459" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540799796" Paper_ID="/18644.html" Extracted="3540799796" />

</rec>

<rec ID="/223423.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Workshop on Formal Methods and Security Protocols FMSP Trento Italy" CiteSeer_Volume="" Title="Undecidability of bounded security protocols,">

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

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

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

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

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

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

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

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

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

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

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

<identifier Org="ISBN:3540408010" Paper_ID="/223423.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.058823529411764705" />

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

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

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

<identifier Org="ISBN:3540678972" Paper_ID="/223423.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:3540938990" Paper_ID="/223423.html" Extracted="3540938990" />

<identifier Org="ISBN:3642023479" Paper_ID="/223423.html" Extracted="3642023479" />

</rec>

<rec ID="/55068.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="Set Constraints with Intersection,">

<identifier Org="ISBN:0262600315" Paper_ID="/55068.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:0780399269" Paper_ID="/55068.html" Extracted="0780399269" />

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

<identifier Org="ISBN:3540230246" Paper_ID="/55068.html" Extracted="3540230246" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07692307692307693" />

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

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

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

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

<identifier Org="ISBN:3540440437" Paper_ID="/55068.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />

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

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

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

<identifier Org="ISBN:3540657193" Paper_ID="/55068.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:354066856X" Paper_ID="/55068.html" Extracted="354066856X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

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

</rec>

<rec ID="/546877.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Computing symbolic models for verifying cryptographic protocols,">

<identifier Org="ISBN:0387879684" Paper_ID="/546877.html" Extracted="0387879684" DDC="005.82" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />

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

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

<identifier Org="ISBN:1581137389" Paper_ID="/546877.html" Extracted="1581137389" />

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

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

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

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

<identifier Org="ISBN:354022940X" Paper_ID="/546877.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540241019" Paper_ID="/546877.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354024302X" Paper_ID="/546877.html" Extracted="354024302X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540440402" Paper_ID="/546877.html" Extracted="3540440402" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />

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

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

<identifier Org="ISBN:3642028454" Paper_ID="/546877.html" Extracted="3642028454" />

<identifier Org="ISBN:364203828X" Paper_ID="/546877.html" Extracted="364203828X" />

</rec>

<rec ID="/251861.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Efficient infinite-state analysis of security protocols,">

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

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

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

<identifier Org="ISBN:1581137389" Paper_ID="/251861.html" Extracted="1581137389" />

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

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

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

<identifier Org="ISBN:3540208038" Paper_ID="/251861.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354022940X" Paper_ID="/251861.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:3540408010" Paper_ID="/251861.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />

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

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

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

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

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

<identifier Org="ISBN:354066856X" Paper_ID="/251861.html" Extracted="354066856X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540678972" Paper_ID="/251861.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540679073" Paper_ID="/251861.html" Extracted="3540679073" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.0625" />

<identifier Org="ISBN:364203828X" Paper_ID="/251861.html" Extracted="364203828X" />

</rec>

<rec ID="/134218.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="The Kerberos Network Authentication Service,">

<identifier Org="ISBN:0309056977" Paper_ID="/134218.html" Extracted="0309056977" DDC="651.5/04261" Normalized_DDC="651504261" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0387231978" Paper_ID="/134218.html" Extracted="0387231978" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:0735711585" Paper_ID="/134218.html" Extracted="0735711585" DDC="005.4/4769" Normalized_DDC="00544769" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0780379780" Paper_ID="/134218.html" Extracted="0780379780" />

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

<identifier Org="ISBN:0849313465" Paper_ID="/134218.html" Extracted="0849313465" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0890068194" Paper_ID="/134218.html" Extracted="0890068194" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:089791872X" Paper_ID="/134218.html" Extracted="089791872X" />

<identifier Org="ISBN:0974094528" Paper_ID="/134218.html" Extracted="0974094528" />

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

<identifier Org="ISBN:1555582710" Paper_ID="/134218.html" Extracted="1555582710" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.07142857142857142" />

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

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

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

<identifier Org="ISBN:3540788484" Paper_ID="/134218.html" Extracted="3540788484" DDC="004.67/8095" Normalized_DDC="004678095" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:905199110X" Paper_ID="/134218.html" Extracted="905199110X" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/36637.html" Type="inproceedings" CiteSeer_Book="ACM Conference on Computer and Communications Security" CiteSeer_Volume="" Title="A Probabilistic Poly-Time Framework for Protocol Analysis,">

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

<identifier Org="ISBN:1586030159" Paper_ID="/36637.html" Extracted="1586030159" />

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

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

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

<identifier Org="ISBN:3540212981" Paper_ID="/36637.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />

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

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

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

<identifier Org="ISBN:3540241019" Paper_ID="/36637.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540253041" Paper_ID="/36637.html" Extracted="3540253041" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

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

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

<identifier Org="ISBN:3540657037" Paper_ID="/36637.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540664254" Paper_ID="/36637.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540668365" Paper_ID="/36637.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540678239" Paper_ID="/36637.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540679073" Paper_ID="/36637.html" Extracted="3540679073" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.0625" />

</rec>

<rec ID="/294165.html" Type="inproceedings" CiteSeer_Book="World Congress on Formal Methods 1" CiteSeer_Volume="" Title="Probabilistic Polynomial-Time Equivalence and Security Analysis,">

<identifier Org="ISBN:0769510469" Paper_ID="/294165.html" Extracted="0769510469" />

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

<identifier Org="ISBN:0821827375" Paper_ID="/294165.html" Extracted="0821827375" DDC="532/.0527/01515353" Normalized_DDC="532052701515353" Normalized_Weight="0.07692307692307693" />

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

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

<identifier Org="ISBN:1586038567" Paper_ID="/294165.html" Extracted="1586038567" />

<identifier Org="ISBN:1595932267" Paper_ID="/294165.html" Extracted="1595932267" />

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

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

<identifier Org="ISBN:3540210008" Paper_ID="/294165.html" Extracted="3540210008" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07692307692307693" />

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

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

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

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

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

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

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

</rec>

<rec ID="/1327.html" Type="inproceedings" CiteSeer_Book="Tools and Algorithms for the Construction and Analysis of Systems TACAS" CiteSeer_Volume="" Title="Breaking and fixing the {N}eedham-{S}chroeder public-key protocol using {FDR}," />

<rec ID="/46697.html" Type="inproceedings" CiteSeer_Book="PCSFW Proceedings of The 10th Computer Security Foundations Workshop" CiteSeer_Volume="" Title="A Hierarchy of Authentication Specifications,">

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

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

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

<identifier Org="ISBN:1586030159" Paper_ID="/46697.html" Extracted="1586030159" />

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

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

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

<identifier Org="ISBN:354020461X" Paper_ID="/46697.html" Extracted="354020461X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:3540258132" Paper_ID="/46697.html" Extracted="3540258132" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />

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

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

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

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

<identifier Org="ISBN:3540657193" Paper_ID="/46697.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540668365" Paper_ID="/46697.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:364201464X" Paper_ID="/46697.html" Extracted="364201464X" />

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

</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.07692307692307693" />

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

<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.07692307692307693" />

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

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

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

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

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

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

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

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

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

<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.07692307692307693" />

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

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

</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.0625" />

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

<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.0625" />

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

<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.0625" />

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

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

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

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

<identifier Org="ISBN:3540250514" Paper_ID="/147355.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.0625" />

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

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

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

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

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

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

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

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

</rec>

<rec ID="/449378.html" Type="inproceedings" CiteSeer_Book="ACM Conference on Computer and Communications Security" CiteSeer_Volume="" Title="Constraint solving for bounded-process cryptographic protocol analysis,">

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

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

<identifier Org="ISBN:3540008977" Paper_ID="/449378.html" Extracted="3540008977" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:3540212361" Paper_ID="/449378.html" Extracted="3540212361" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540213139" Paper_ID="/449378.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354022940X" Paper_ID="/449378.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540232427" Paper_ID="/449378.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:3540281959" Paper_ID="/449378.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540408010" Paper_ID="/449378.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:3540712089" Paper_ID="/449378.html" Extracted="3540712089" />

<identifier Org="ISBN:354074620X" Paper_ID="/449378.html" Extracted="354074620X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540755586" Paper_ID="/449378.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540799796" Paper_ID="/449378.html" Extracted="3540799796" />

<identifier Org="ISBN:3642023479" Paper_ID="/449378.html" Extracted="3642023479" />

</rec>

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

<rec ID="/459565.html" Type="inproceedings" CiteSeer_Book="Static Analysis Symposium" CiteSeer_Volume="" Title="Abstracting Cryptographic Protocols with Tree Automata,">

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

<identifier Org="ISBN:0769523404" Paper_ID="/459565.html" Extracted="0769523404" />

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

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

<identifier Org="ISBN:3540201750" Paper_ID="/459565.html" Extracted="3540201750" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />

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

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

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

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

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

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

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

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

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

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

<identifier Org="ISBN:3540678972" Paper_ID="/459565.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540705880" Paper_ID="/459565.html" Extracted="3540705880" />

<identifier Org="ISBN:3540713158" Paper_ID="/459565.html" Extracted="3540713158" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />

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

</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:1581133855" Paper_ID="/372532.html" Extracted="1581133855" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:1586030159" Paper_ID="/372532.html" Extracted="1586030159" />

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

<identifier Org="ISBN:354085844X" Paper_ID="/372532.html" Extracted="354085844X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />

</rec>

<rec ID="/643961.html" Type="inproceedings" CiteSeer_Book="ACM Conference on Computer and Communications Security" CiteSeer_Volume="" Title="Composition and integrity preservation of secure reactive systems,">

<identifier Org="ISBN:0769510469" Paper_ID="/643961.html" Extracted="0769510469" />

<identifier Org="ISBN:1581132034" Paper_ID="/643961.html" Extracted="1581132034" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1581138520" Paper_ID="/643961.html" Extracted="1581138520" />

<identifier Org="ISBN:3540007016" Paper_ID="/643961.html" Extracted="3540007016" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />

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

<identifier Org="ISBN:3540206434" Paper_ID="/643961.html" Extracted="3540206434" DDC="330/.01/519536" Normalized_DDC="33001519536" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540210008" Paper_ID="/643961.html" Extracted="3540210008" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540232087" Paper_ID="/643961.html" Extracted="3540232087" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540289550" Paper_ID="/643961.html" Extracted="3540289550" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354029001X" Paper_ID="/643961.html" Extracted="354029001X" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540308032" Paper_ID="/643961.html" Extracted="3540308032" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540327312" Paper_ID="/643961.html" Extracted="3540327312" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

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

<identifier Org="ISBN:354044050X" Paper_ID="/643961.html" Extracted="354044050X" DDC="005.82" Normalized_DDC="00582" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540705821" Paper_ID="/643961.html" Extracted="3540705821" />

<identifier Org="ISBN:3540709355" Paper_ID="/643961.html" Extracted="3540709355" />

<identifier Org="ISBN:3540768998" Paper_ID="/643961.html" Extracted="3540768998" />

</rec>

<rec ID="/28289.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="A {METHOD} {FOR} {OBTAINING} {DIGITAL} {SIGNATURES} {AND} {PUBLIC}-{KEY} {CRYPTOSYSTEMS},">

<identifier Org="ISBN:0072194820" Paper_ID="/28289.html" Extracted="0072194820" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0309088968" Paper_ID="/28289.html" Extracted="0309088968" DDC="342.7308/58" Normalized_DDC="342730858" Normalized_Weight="0.07142857142857142" />

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

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

<identifier Org="ISBN:0735521581" Paper_ID="/28289.html" Extracted="0735521581" DDC="346.7304/86" Normalized_DDC="346730486" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0788100947" Paper_ID="/28289.html" Extracted="0788100947" />

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

<identifier Org="ISBN:0821833650" Paper_ID="/28289.html" Extracted="0821833650" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0821838423" Paper_ID="/28289.html" Extracted="0821838423" DDC="512" Normalized_DDC="512" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0849386195" Paper_ID="/28289.html" Extracted="0849386195" DDC="621.39" Normalized_DDC="62139" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3211817840" Paper_ID="/28289.html" Extracted="3211817840" DDC="384.648" Normalized_DDC="384648" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540416587" Paper_ID="/28289.html" Extracted="3540416587" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540679073" Paper_ID="/28289.html" Extracted="3540679073" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/452828.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Protocol insecurity with finite number of sessions is NP-complete,">

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

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

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

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

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

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

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

<identifier Org="ISBN:3540212361" Paper_ID="/452828.html" Extracted="3540212361" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540212981" Paper_ID="/452828.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354022940X" Paper_ID="/452828.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

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

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

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

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

<identifier Org="ISBN:3540408010" Paper_ID="/452828.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:354074620X" Paper_ID="/452828.html" Extracted="354074620X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3642023479" Paper_ID="/452828.html" Extracted="3642023479" />

</rec>

<rec ID="/196227.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 1996 IEEE Symposium on Security and Privacy" CiteSeer_Volume="" Title="{Security Properties and {CSP}},">

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

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

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

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

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

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

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

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

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

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

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

<identifier Org="ISBN:3540281959" Paper_ID="/196227.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

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

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

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

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

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

<identifier Org="ISBN:3540633790" Paper_ID="/196227.html" Extracted="3540633790" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07692307692307693" />

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

</rec>

<rec ID="/211930.html" Type="inproceedings" CiteSeer_Book="PCSFW Proceedings of The 12th Computer Security Foundations Workshop" CiteSeer_Volume="" Title="Athena: {A} New Efficient Automatic Checker for Security Protocol Analysis,">

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

<identifier Org="ISBN:0387240055" Paper_ID="/211930.html" Extracted="0387240055" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0471268666" Paper_ID="/211930.html" Extracted="0471268666" DDC="621.384" Normalized_DDC="621384" Normalized_Weight="0.06666666666666667" />

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

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

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

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

<identifier Org="ISBN:1586032542" Paper_ID="/211930.html" Extracted="1586032542" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1586038567" Paper_ID="/211930.html" Extracted="1586038567" />

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

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

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

<identifier Org="ISBN:3540208275" Paper_ID="/211930.html" Extracted="3540208275" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540232427" Paper_ID="/211930.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540413529" Paper_ID="/211930.html" Extracted="3540413529" DDC="501" Normalized_DDC="501" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540687459" Paper_ID="/211930.html" Extracted="3540687459" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540705430" Paper_ID="/211930.html" Extracted="3540705430" />

<identifier Org="ISBN:3642014399" Paper_ID="/211930.html" Extracted="3642014399" />

</rec>

<rec ID="/469018.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="A Bound on Attacks on Payment Protocols,">

<identifier Org="ISBN:1402071817" Paper_ID="/469018.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:1581136129" Paper_ID="/469018.html" Extracted="1581136129" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.3333333333333333" />

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

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

</rec>

<rec ID="/496344.html" Type="article" CiteSeer_Book="Journal of Computer Security" CiteSeer_Volume="" Title="Strand spaces: Proving security protocols correct,">

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

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

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

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

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

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

<identifier Org="ISBN:1586038567" Paper_ID="/496344.html" Extracted="1586038567" />

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

<identifier Org="ISBN:3540006249" Paper_ID="/496344.html" Extracted="3540006249" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />

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

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

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

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

<identifier Org="ISBN:3540265473" Paper_ID="/496344.html" Extracted="3540265473" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540282270" Paper_ID="/496344.html" Extracted="3540282270" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540410317" Paper_ID="/496344.html" Extracted="3540410317" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:354074620X" Paper_ID="/496344.html" Extracted="354074620X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Is It Possible to Decide Whether a Cryptographic Protocol is Secure Or Not?">

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

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

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

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

<identifier Org="ISBN:3540212981" Paper_ID="SELF" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354022940X" Paper_ID="SELF" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540249982" Paper_ID="SELF" Extracted="3540249982" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />

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

<identifier Org="ISBN:3540283099" Paper_ID="SELF" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354030553X" Paper_ID="SELF" Extracted="354030553X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />

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

<identifier Org="ISBN:3540408010" Paper_ID="SELF" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.08333333333333333" />

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

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

</rec>

</references_metadata>