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>