Automatically assigned DDC number: 0058

Manually assigned DDC number: 00582

Number of references: 30

Title: Security Goals: Packet Trajectories and Strand Spaces

Author:

Subject: Joshua D. Guttman Security Goals: Packet Trajectories and Strand Spaces

Description: This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in September 2000. It has two main purposes. The first purpose is to explain how to model and analyze two important security problems, and how to derive systematic solutions to them. One problem area is the "packet protection problem," concerning how to use the security services provided by routers---services such as packet filtering and the IP security protocols---to achieve useful protection in complex networks. The other problem area, the "Dolev-Yao" problem, concerns how to determine, given a cryptographic protocol, what authentication and confidentiality properties it achieves, assuming that the cryptographic primitives it uses are ideal. Our secondary purpose is to argue in favor of an overall approach to modeling and then solving information security problems. We argue in favor of discovering security goals for specific domains by examining the threats and enforcement mechanisms available in those domains. Mathematical modeling allows us to develop algorithms and proof methods to ensure that the mechanisms achieve particular security goals. This leads to a systematic approach to trust management, often a more pressing information security problem than inventing new and improved security mechanisms. 1

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2001-06-20

Pubyear: 0

Format: pdf

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

Source: http://www.mitre.org/support/papers/tech_papers_01/guttman_security/guttman_security.pdf

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:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

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

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

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

            <identifier   Org="ISBN:0470090952"   Paper_ID="/21933.html"   Extracted="0470090952"   DDC="004/.03"   Normalized_DDC="00403"   Normalized_Weight="0.0625"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/311874.html"   Type="article"   CiteSeer_Book="ieeetc"   CiteSeer_Volume="C35"   Title="Graph-Based   Algorithms   for   {B}oolean   Function   Manipulation,"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/18158.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Using   state   space   exploration   and   a   natural   deduction   style   message   derivation   engine   to   verify   security   protocols,">

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540672826"   Paper_ID="/18158.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540741275"   Paper_ID="/18158.html"   Extracted="3540741275"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

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

      </rec>

      <rec   ID="/49099.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   5th   International   Working   Conference   on   Dependable   Computing   for   Critical   Applications   DCCA5"   CiteSeer_Volume=""   Title="Fail-Stop   Protocols:   An   Approach   to   Designing   Secure   Protocols,">

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

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

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

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

            <identifier   Org="ISBN:0792372085"   Paper_ID="/49099.html"   Extracted="0792372085"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.08333333333333333"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540688625"   Paper_ID="/49099.html"   Extracted="3540688625"   />

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

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

            <identifier   Org="ISBN:3540770496"   Paper_ID="/49099.html"   Extracted="3540770496"   />

            <identifier   Org="ISBN:3540850732"   Paper_ID="/49099.html"   Extracted="3540850732"   />

            <identifier   Org="ISBN:3642026192"   Paper_ID="/49099.html"   Extracted="3642026192"   />

      </rec>

      <rec   ID="/480914.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Filtering   Postures:   Local   Enforcement   for   Global   Policies,">

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

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

            <identifier   Org="ISBN:0769522823"   Paper_ID="/480914.html"   Extracted="0769522823"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:0849375800"   Paper_ID="/480914.html"   Extracted="0849375800"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:3540219595"   Paper_ID="/480914.html"   Extracted="3540219595"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540859993"   Paper_ID="/480914.html"   Extracted="3540859993"   />

            <identifier   Org="ISBN:3642011896"   Paper_ID="/480914.html"   Extracted="3642011896"   />

      </rec>

      <rec   ID="/493055.html"   Type="inproceedings"   CiteSeer_Book="PCSFW   Proceedings   of   The   13th   Computer   Security   Foundations   Workshop"   CiteSeer_Volume=""   Title="Protocol   Independence   through   Disjoint   Encryption,">

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

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

            <identifier   Org="ISBN:076951927X"   Paper_ID="/493055.html"   Extracted="076951927X"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540202161"   Paper_ID="/493055.html"   Extracted="3540202161"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540770496"   Paper_ID="/493055.html"   Extracted="3540770496"   />

            <identifier   Org="ISBN:3642005950"   Paper_ID="/493055.html"   Extracted="3642005950"   />

            <identifier   Org="ISBN:3642021891"   Paper_ID="/493055.html"   Extracted="3642021891"   />

      </rec>

      <rec   ID="/519716.html"   Type="inproceedings"   CiteSeer_Book="PCSFW   Proceedings   of   The   13th   Computer   Security   Foundations   Workshop"   CiteSeer_Volume=""   Title="How   to   Prevent   Type   Flaw   Attacks   on   Security   Protocols,">

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

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

            <identifier   Org="ISBN:076951927X"   Paper_ID="/519716.html"   Extracted="076951927X"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/279495.html"   Type="inproceedings"   CiteSeer_Book="PCSFW   Proceedings   of   The   13th   Computer   Security   Foundations   Workshop"   CiteSeer_Volume=""   Title="Towards   Automatic   Verification   of   Authentication   Protocols   on   an   Unbounded   Network,">

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

            <identifier   Org="ISBN:0387280405"   Paper_ID="/279495.html"   Extracted="0387280405"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.125"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540443452"   Paper_ID="/279495.html"   Extracted="3540443452"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/22671.html"   Type="inproceedings"   CiteSeer_Book="PCSFW   Proceedings   of   The   12th   Computer   Security   Foundations   Workshop"   CiteSeer_Volume=""   Title="Safe   Simplifying   Transformations   for   Security   Protocols,">

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

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

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

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

            <identifier   Org="ISBN:354073533X"   Paper_ID="/22671.html"   Extracted="354073533X"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/316023.html"   Type="inproceedings"   CiteSeer_Book="Security   Protocols   Workshop"   CiteSeer_Volume=""   Title="Protocol   Interactions   and   the   Chosen   Protocol   Attack,">

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

            <identifier   Org="ISBN:0521878241"   Paper_ID="/316023.html"   Extracted="0521878241"   DDC="621.3821"   Normalized_DDC="6213821"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:1581132603"   Paper_ID="/316023.html"   Extracted="1581132603"   />

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

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

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

            <identifier   Org="ISBN:3540206639"   Paper_ID="/316023.html"   Extracted="3540206639"   DDC="005.8/2"   Normalized_DDC="00582"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3540770496"   Paper_ID="/316023.html"   Extracted="3540770496"   />

            <identifier   Org="ISBN:3540771557"   Paper_ID="/316023.html"   Extracted="3540771557"   />

            <identifier   Org="ISBN:8126516674"   Paper_ID="/316023.html"   Extracted="8126516674"   />

      </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:038723473X"   Paper_ID="/134218.html"   Extracted="038723473X"   DDC="652/.803"   Normalized_DDC="652803"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0471206024"   Paper_ID="/134218.html"   Extracted="0471206024"   DDC="005.8"   Normalized_DDC="0058"   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: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: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:3540745726"   Paper_ID="/134218.html"   Extracted="3540745726"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540775048"   Paper_ID="/134218.html"   Extracted="3540775048"   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"   />

      </rec>

      <rec   ID="/461242.html"   Type="article"   CiteSeer_Book="Information   Processing   Letters"   CiteSeer_Volume="56"   Title="An   Attack   on   the   Needham-Schroeder   Public-Key   Authentication   Protocol,">

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540791035"   Paper_ID="/461242.html"   Extracted="3540791035"   />

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

      </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="/20872.html"   Type="inproceedings"   CiteSeer_Book="PCSFW   Proceedings   of   The   9th   Computer   Security   Foundations   Workshop"   CiteSeer_Volume=""   Title="Some   New   Attacks   upon   Security   Protocols,">

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <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: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:3540425667"   Paper_ID="/46697.html"   Extracted="3540425667"   DDC="005.8"   Normalized_DDC="0058"   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:3540693106"   Paper_ID="/46697.html"   Extracted="3540693106"   />

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

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

            <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="/126269.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Internet   Security   Association   and   Key   Management   Protocol   ({ISAKMP}),">

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

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

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

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

            <identifier   Org="ISBN:0471392995"   Paper_ID="/126269.html"   Extracted="0471392995"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0596001258"   Paper_ID="/126269.html"   Extracted="0596001258"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:0849312906"   Paper_ID="/126269.html"   Extracted="0849312906"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.05263157894736842"   />

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

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

            <identifier   Org="ISBN:155860779X"   Paper_ID="/126269.html"   Extracted="155860779X"   DDC="004.62"   Normalized_DDC="00462"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:155860782X"   Paper_ID="/126269.html"   Extracted="155860782X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:155860913X"   Paper_ID="/126269.html"   Extracted="155860913X"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1578203023"   Paper_ID="/126269.html"   Extracted="1578203023"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:1587051044"   Paper_ID="/126269.html"   Extracted="1587051044"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:192899413X"   Paper_ID="/126269.html"   Extracted="192899413X"   DDC="004.65"   Normalized_DDC="00465"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1928994849"   Paper_ID="/126269.html"   Extracted="1928994849"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1932266550"   Paper_ID="/126269.html"   Extracted="1932266550"   DDC="005.4/47682"   Normalized_DDC="005447682"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/431625.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Analysis   of   the   {I}nternet   {K}ey   {E}xchange   Protocol   Using   the   {NRL}   Protocol   Analyzer,"   />

      <rec   ID="/308070.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="2052"   Title="Open   Issues   in   Formal   Methods   for   Cryptographic   Protocol   Analysis,">

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540434755"   Paper_ID="/308070.html"   Extracted="3540434755"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

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

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

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

      </rec>

      <rec   ID="/228782.html"   Type="article"   CiteSeer_Book="Operating   Systems   Review"   CiteSeer_Volume="27"   Title="A   Note   on   the   Use   of   Timestamps   as   Nonces,">

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

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

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

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

            <identifier   Org="ISBN:0818662301"   Paper_ID="/228782.html"   Extracted="0818662301"   />

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

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

            <identifier   Org="ISBN:3540223797"   Paper_ID="/228782.html"   Extracted="3540223797"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540244778"   Paper_ID="/228782.html"   Extracted="3540244778"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.08333333333333333"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3728123560"   Paper_ID="/228782.html"   Extracted="3728123560"   />

            <identifier   Org="ISBN:7302105863"   Paper_ID="/228782.html"   Extracted="7302105863"   />

      </rec>

      <rec   ID="/113964.html"   Type="inproceedings"   CiteSeer_Book="10th   Computer   Security   Foundations   Workshop"   CiteSeer_Volume=""   Title="Proving   Properties   of   Security   Protocols   by   Induction,">

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

            <identifier   Org="ISBN:0769506100"   Paper_ID="/113964.html"   Extracted="0769506100"   DDC="658.8/4"   Normalized_DDC="65884"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </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:1586030159"   Paper_ID="/372532.html"   Extracted="1586030159"   />

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

            <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:3540203001"   Paper_ID="/372532.html"   Extracted="3540203001"   DDC="005.8"   Normalized_DDC="0058"   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:3540283099"   Paper_ID="/372532.html"   Extracted="3540283099"   DDC="004/.35"   Normalized_DDC="00435"   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:3540442634"   Paper_ID="/372532.html"   Extracted="3540442634"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540646086"   Paper_ID="/372532.html"   Extracted="3540646086"   DDC="004.24"   Normalized_DDC="00424"   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="/283833.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Looking   for   Diamonds   in   the   Desert   ---   Extending   Automatic   Protocol   Generation   to   Three-Party   Authentication   and   Key   Agreement   Protocols,">

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

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

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

            <identifier   Org="ISBN:0780378040"   Paper_ID="/283833.html"   Extracted="0780378040"   />

            <identifier   Org="ISBN:0792376501"   Paper_ID="/283833.html"   Extracted="0792376501"   DDC="621.382/12"   Normalized_DDC="62138212"   Normalized_Weight="0.1111111111111111"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3540787992"   Paper_ID="/283833.html"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/196196.html"   Type="inproceedings"   CiteSeer_Book="PCSFW   Proceedings   of   The   10th   Computer   Security   Foundations   Workshop"   CiteSeer_Volume=""   Title="Verifying   Authentication   Protocols   with   {CSP},">

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/498092.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="/498092.html"   Extracted="1402071817"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.3333333333333333"   />

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

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

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

      </rec>

      <rec   ID="/261248.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   reduction   for   automated   verification   of   authentication   protocols,">

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

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

      </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:3540205373"   Paper_ID="/496344.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540213139"   Paper_ID="/496344.html"   Extracted="3540213139"   DDC="005.1"   Normalized_DDC="0051"   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:3540428968"   Paper_ID="/496344.html"   Extracted="3540428968"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/221482.html"   Type="inproceedings"   CiteSeer_Book="1993   International   Conference   on   Network   Protocols"   CiteSeer_Volume=""   Title="Verifying   Authentication   Protocols:   Methodology   and   Example,">

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

            <identifier   Org="ISBN:0769520073"   Paper_ID="/221482.html"   Extracted="0769520073"   />

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

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

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

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

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

            <identifier   Org="ISBN:3642020011"   Paper_ID="/221482.html"   Extracted="3642020011"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Security   Goals:   Packet   Trajectories   and   Strand   Spaces">

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

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

            <identifier   Org="ISBN:3540007016"   Paper_ID="SELF"   Extracted="3540007016"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.125"   />

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

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

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

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

            <identifier   Org="ISBN:354043075X"   Paper_ID="SELF"   Extracted="354043075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

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

      </rec>

</references_metadata>

www.000webhost.com