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>

www.000webhost.com