Automatically assigned DDC number: 005117
Manually assigned DDC number: 0058
Number of references: 16
Title: Static Analysis for the pi-calculus with Applications to Security
Author:
Author:
Author:
Author:
Subject: Chiara Bodei,Pierpaolo Degano,Flemming Nielson,Hanne Riis Nielson Static Analysis for the pi-calculus with Applications to Security
Description: . Control Flow Analysis is a static technique for predicting safe and computable approximations to the set of values that the objects of a program may assume during its execution. We present an analysis for the -calculus that shows how names will be bound to actual channels at run time. The result of our analysis establishes a super-set of the set of channels to which a given name may be bound and of the set of channels that may be sent along a given channel. Besides a set of rules that permit to validate a given solution, we also offer a constructive procedure that builds solutions in low polynomial time. Applications of our analysis include establishing two simple security properties of processes. One example is that P has no leaks: P offers communication to the external environment through public channels only, and confines its secret channels within itself. The other example is connected to the no read-up/no write-down property of Bell and LaPadula: once processes are given levels...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2000-03-09
Pubyear: 2001
Format: ps
Identifier: http://citeseer.ist.psu.edu/316049.html
Source: http://www.di.unipi.it/~chiara/publ-40/BDNNi00.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/318576.html" Type="article" CiteSeer_Book="Journal of the ACM" CiteSeer_Volume="46" Title="Secrecy by Typing in Security Protocols,">
<identifier Org="ISBN:0387240500" Paper_ID="/318576.html" Extracted="0387240500" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0769506712" Paper_ID="/318576.html" Extracted="0769506712" DDC="004.22" Normalized_DDC="00422" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0769523404" Paper_ID="/318576.html" Extracted="0769523404" />
<identifier Org="ISBN:1586035703" Paper_ID="/318576.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1595932267" Paper_ID="/318576.html" Extracted="1595932267" />
<identifier Org="ISBN:1595935185" Paper_ID="/318576.html" Extracted="1595935185" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540007083" Paper_ID="/318576.html" Extracted="3540007083" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354023635X" Paper_ID="/318576.html" Extracted="354023635X" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540254358" Paper_ID="/318576.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540282270" Paper_ID="/318576.html" Extracted="3540282270" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540283099" Paper_ID="/318576.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540297979" Paper_ID="/318576.html" Extracted="3540297979" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540309349" Paper_ID="/318576.html" Extracted="3540309349" />
<identifier Org="ISBN:3540326286" Paper_ID="/318576.html" Extracted="3540326286" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540418644" Paper_ID="/318576.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540428968" Paper_ID="/318576.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440437" Paper_ID="/318576.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354063388X" Paper_ID="/318576.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678972" Paper_ID="/318576.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />
</rec>
<rec ID="/321222.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1443" Title="Protection in Programming-Language Translations,">
<identifier Org="ISBN:0769502016" Paper_ID="/321222.html" Extracted="0769502016" />
<identifier Org="ISBN:0769523404" Paper_ID="/321222.html" Extracted="0769523404" />
<identifier Org="ISBN:1595932313" Paper_ID="/321222.html" Extracted="1595932313" />
<identifier Org="ISBN:3540253882" Paper_ID="/321222.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540297979" Paper_ID="/321222.html" Extracted="3540297979" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540300074" Paper_ID="/321222.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540405313" Paper_ID="/321222.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540647813" Paper_ID="/321222.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540654607" Paper_ID="/321222.html" Extracted="3540654607" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540661301" Paper_ID="/321222.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540668365" Paper_ID="/321222.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540676600" Paper_ID="/321222.html" Extracted="3540676600" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540678239" Paper_ID="/321222.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540679073" Paper_ID="/321222.html" Extracted="3540679073" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540748091" Paper_ID="/321222.html" Extracted="3540748091" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/64607.html" Type="inproceedings" CiteSeer_Book="Fourth ACM Conference on Computer and Communications Security" CiteSeer_Volume="" Title="A Calculus for Cryptographic Protocols: The Spi Calculus,">
<identifier Org="ISBN:1402074492" Paper_ID="/64607.html" Extracted="1402074492" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1586035800" Paper_ID="/64607.html" Extracted="1586035800" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008985" Paper_ID="/64607.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540208135" Paper_ID="/64607.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540209557" Paper_ID="/64607.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540213139" Paper_ID="/64607.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354022940X" Paper_ID="/64607.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540236104" Paper_ID="/64607.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354023635X" Paper_ID="/64607.html" Extracted="354023635X" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540283099" Paper_ID="/64607.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540406719" Paper_ID="/64607.html" Extracted="3540406719" />
<identifier Org="ISBN:3540407537" Paper_ID="/64607.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540428968" Paper_ID="/64607.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540440437" Paper_ID="/64607.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540631410" Paper_ID="/64607.html" Extracted="3540631410" />
<identifier Org="ISBN:3540675302" Paper_ID="/64607.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540705821" Paper_ID="/64607.html" Extracted="3540705821" />
<identifier Org="ISBN:3540732098" Paper_ID="/64607.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540766367" Paper_ID="/64607.html" Extracted="3540766367" />
</rec>
<rec ID="/291577.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1578" Title="Static Analysis of Processes for No Read-Up and No Write-Down,">
<identifier Org="ISBN:0769511465" Paper_ID="/291577.html" Extracted="0769511465" />
<identifier Org="ISBN:0769516890" Paper_ID="/291577.html" Extracted="0769516890" />
<identifier Org="ISBN:0792376838" Paper_ID="/291577.html" Extracted="0792376838" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1402071817" Paper_ID="/291577.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540410309" Paper_ID="/291577.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540428968" Paper_ID="/291577.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540654100" Paper_ID="/291577.html" Extracted="3540654100" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540657193" Paper_ID="/291577.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540664254" Paper_ID="/291577.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540676686" Paper_ID="/291577.html" Extracted="3540676686" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540677151" Paper_ID="/291577.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/128729.html" Type="inproceedings" CiteSeer_Book="Foundations of Software Science and Computation Structures First International Conference FOSSACS 98" CiteSeer_Volume="" Title="Mobile Ambients,">
<identifier Org="ISBN:0792376838" Paper_ID="/128729.html" Extracted="0792376838" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1402071817" Paper_ID="/128729.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1402081405" Paper_ID="/128729.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540003487" Paper_ID="/128729.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540008977" Paper_ID="/128729.html" Extracted="3540008977" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540204911" Paper_ID="/128729.html" Extracted="3540204911" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205837" Paper_ID="/128729.html" Extracted="3540205837" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540254358" Paper_ID="/128729.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540291067" Paper_ID="/128729.html" Extracted="3540291067" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540297359" Paper_ID="/128729.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540418644" Paper_ID="/128729.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540424997" Paper_ID="/128729.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425543" Paper_ID="/128729.html" Extracted="3540425543" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540440437" Paper_ID="/128729.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540688544" Paper_ID="/128729.html" Extracted="3540688544" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540708804" Paper_ID="/128729.html" Extracted="3540708804" />
<identifier Org="ISBN:3540745092" Paper_ID="/128729.html" Extracted="3540745092" DDC="004.0947" Normalized_DDC="0040947" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540752900" Paper_ID="/128729.html" Extracted="3540752900" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540874046" Paper_ID="/128729.html" Extracted="3540874046" />
</rec>
<rec ID="/170827.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="240" Title="Types for access control,">
<identifier Org="ISBN:1580532950" Paper_ID="/170827.html" Extracted="1580532950" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205837" Paper_ID="/170827.html" Extracted="3540205837" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540206329" Paper_ID="/170827.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540208879" Paper_ID="/170827.html" Extracted="3540208879" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540210024" Paper_ID="/170827.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540241019" Paper_ID="/170827.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540254358" Paper_ID="/170827.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354025630X" Paper_ID="/170827.html" Extracted="354025630X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540256970" Paper_ID="/170827.html" Extracted="3540256970" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540266550" Paper_ID="/170827.html" Extracted="3540266550" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540300074" Paper_ID="/170827.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425225" Paper_ID="/170827.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425586" Paper_ID="/170827.html" Extracted="3540425586" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354065836X" Paper_ID="/170827.html" Extracted="354065836X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540661301" Paper_ID="/170827.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540662243" Paper_ID="/170827.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678972" Paper_ID="/170827.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540682643" Paper_ID="/170827.html" Extracted="3540682643" />
<identifier Org="ISBN:3540753338" Paper_ID="/170827.html" Extracted="3540753338" />
<identifier Org="ISBN:3540769277" Paper_ID="/170827.html" Extracted="3540769277" />
</rec>
<rec ID="/328775.html" Type="article" CiteSeer_Book="Software Engineering" CiteSeer_Volume="23" Title="The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties,">
<identifier Org="ISBN:0769502016" Paper_ID="/328775.html" Extracted="0769502016" />
<identifier Org="ISBN:0818684887" Paper_ID="/328775.html" Extracted="0818684887" />
<identifier Org="ISBN:1402071817" Paper_ID="/328775.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586036785" Paper_ID="/328775.html" Extracted="1586036785" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540003487" Paper_ID="/328775.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540008861" Paper_ID="/328775.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540206930" Paper_ID="/328775.html" Extracted="3540206930" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540209557" Paper_ID="/328775.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354021299X" Paper_ID="/328775.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540283897" Paper_ID="/328775.html" Extracted="3540283897" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540407979" Paper_ID="/328775.html" Extracted="3540407979" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540421033" Paper_ID="/328775.html" Extracted="3540421033" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540428968" Paper_ID="/328775.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540657193" Paper_ID="/328775.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540660860" Paper_ID="/328775.html" Extracted="3540660860" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540675302" Paper_ID="/328775.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678972" Paper_ID="/328775.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540745092" Paper_ID="/328775.html" Extracted="3540745092" DDC="004.0947" Normalized_DDC="0040947" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540748091" Paper_ID="/328775.html" Extracted="3540748091" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/262375.html" Type="inproceedings" CiteSeer_Book="Conference record of POPL 98 the 25th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages San Diego California 1921 January 1998" CiteSeer_Volume="" Title="The {SLam} calculus: programming with secrecy and integrity,">
<identifier Org="ISBN:0769516890" Paper_ID="/262375.html" Extracted="0769516890" />
<identifier Org="ISBN:3540001336" Paper_ID="/262375.html" Extracted="3540001336" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008861" Paper_ID="/262375.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540192425" Paper_ID="/262375.html" Extracted="3540192425" />
<identifier Org="ISBN:3540208038" Paper_ID="/262375.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540227911" Paper_ID="/262375.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540242872" Paper_ID="/262375.html" Extracted="3540242872" DDC="332.1/78" Normalized_DDC="332178" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354027992X" Paper_ID="/262375.html" Extracted="354027992X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540300074" Paper_ID="/262375.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418644" Paper_ID="/262375.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043075X" Paper_ID="/262375.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540647813" Paper_ID="/262375.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540661301" Paper_ID="/262375.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540662243" Paper_ID="/262375.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540666249" Paper_ID="/262375.html" Extracted="3540666249" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354066677X" Paper_ID="/262375.html" Extracted="354066677X" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540677151" Paper_ID="/262375.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:364201464X" Paper_ID="/262375.html" Extracted="364201464X" />
</rec>
<rec ID="/286060.html" Type="article" CiteSeer_Book="Communications of the ACM" CiteSeer_Volume="16" Title="A Note on the Confinement Problem,">
<identifier Org="ISBN:038723473X" Paper_ID="/286060.html" Extracted="038723473X" DDC="652/.803" Normalized_DDC="652803" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0471222011" Paper_ID="/286060.html" Extracted="0471222011" DDC="004.67/8/03" Normalized_DDC="00467803" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:078815320X" Paper_ID="/286060.html" Extracted="078815320X" />
<identifier Org="ISBN:0818605324" Paper_ID="/286060.html" Extracted="0818605324" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0818608951" Paper_ID="/286060.html" Extracted="0818608951" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0849319978" Paper_ID="/286060.html" Extracted="0849319978" DDC="658/.0558" Normalized_DDC="6580558" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540245618" Paper_ID="/286060.html" Extracted="3540245618" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540297383" Paper_ID="/286060.html" Extracted="3540297383" />
<identifier Org="ISBN:354061723X" Paper_ID="/286060.html" Extracted="354061723X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540647325" Paper_ID="/286060.html" Extracted="3540647325" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540741232" Paper_ID="/286060.html" Extracted="3540741232" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:354087402X" Paper_ID="/286060.html" Extracted="354087402X" />
<identifier Org="ISBN:364201464X" Paper_ID="/286060.html" Extracted="364201464X" />
</rec>
<rec ID="/196173.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="114" Title="Modal logics for mobile processes,">
<identifier Org="ISBN:0387569227" Paper_ID="/196173.html" Extracted="0387569227" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1402012705" Paper_ID="/196173.html" Extracted="1402012705" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540212981" Paper_ID="/196173.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354022940X" Paper_ID="/196173.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540291318" Paper_ID="/196173.html" Extracted="3540291318" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540428968" Paper_ID="/196173.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540434100" Paper_ID="/196173.html" Extracted="3540434100" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540544305" Paper_ID="/196173.html" Extracted="3540544305" />
<identifier Org="ISBN:3540572082" Paper_ID="/196173.html" Extracted="3540572082" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540592938" Paper_ID="/196173.html" Extracted="3540592938" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540600434" Paper_ID="/196173.html" Extracted="3540600434" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540616489" Paper_ID="/196173.html" Extracted="3540616489" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540648968" Paper_ID="/196173.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540705821" Paper_ID="/196173.html" Extracted="3540705821" />
<identifier Org="ISBN:3540738576" Paper_ID="/196173.html" Extracted="3540738576" />
<identifier Org="ISBN:3540852379" Paper_ID="/196173.html" Extracted="3540852379" />
</rec>
<rec ID="/271925.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Validating Firewalls in Mobile Ambients,">
<identifier Org="ISBN:1402071817" Paper_ID="/271925.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586036734" Paper_ID="/271925.html" Extracted="1586036734" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1852330929" Paper_ID="/271925.html" Extracted="1852330929" DDC="005.2/75" Normalized_DDC="005275" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540003266" Paper_ID="/271925.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540003487" Paper_ID="/271925.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540008977" Paper_ID="/271925.html" Extracted="3540008977" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540209557" Paper_ID="/271925.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540414282" Paper_ID="/271925.html" Extracted="3540414282" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540423141" Paper_ID="/271925.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/271925.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540425225" Paper_ID="/271925.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540428968" Paper_ID="/271925.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540433635" Paper_ID="/271925.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664254" Paper_ID="/271925.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664599" Paper_ID="/271925.html" Extracted="3540664599" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678239" Paper_ID="/271925.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
</rec>
<rec ID="/7751.html" Type="inproceedings" CiteSeer_Book="Proceedings 8th IEEE Logics in Computer Science" CiteSeer_Volume="" Title="Typing and Subtyping for Mobile Processes,">
<identifier Org="ISBN:0412797704" Paper_ID="/7751.html" Extracted="0412797704" DDC="005.117" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0792376838" Paper_ID="/7751.html" Extracted="0792376838" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818631406" Paper_ID="/7751.html" Extracted="0818631406" />
<identifier Org="ISBN:3540209557" Paper_ID="/7751.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540219935" Paper_ID="/7751.html" Extracted="3540219935" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540228497" Paper_ID="/7751.html" Extracted="3540228497" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354041942X" Paper_ID="/7751.html" Extracted="354041942X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540419608" Paper_ID="/7751.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540427872" Paper_ID="/7751.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540428968" Paper_ID="/7751.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540647813" Paper_ID="/7751.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540661301" Paper_ID="/7751.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540672621" Paper_ID="/7751.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540678972" Paper_ID="/7751.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540732098" Paper_ID="/7751.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540738576" Paper_ID="/7751.html" Extracted="3540738576" />
<identifier Org="ISBN:3540769277" Paper_ID="/7751.html" Extracted="3540769277" />
</rec>
<rec ID="/74029.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL 98 The 25TH ACM SIGPLANSIGACT Symposium on Principles of Programming Languages San Diego California" CiteSeer_Volume="" Title="A Typed Language for Distributed Mobile Processes,">
<identifier Org="ISBN:0387228519" Paper_ID="/74029.html" Extracted="0387228519" DDC="004.6/5" Normalized_DDC="00465" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0444828303" Paper_ID="/74029.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0521771846" Paper_ID="/74029.html" Extracted="0521771846" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0769506712" Paper_ID="/74029.html" Extracted="0769506712" DDC="004.22" Normalized_DDC="00422" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1402081405" Paper_ID="/74029.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586030159" Paper_ID="/74029.html" Extracted="1586030159" />
<identifier Org="ISBN:3540000291" Paper_ID="/74029.html" Extracted="3540000291" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540206329" Paper_ID="/74029.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540410201" Paper_ID="/74029.html" Extracted="3540410201" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425225" Paper_ID="/74029.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540427872" Paper_ID="/74029.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540428968" Paper_ID="/74029.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540647813" Paper_ID="/74029.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657193" Paper_ID="/74029.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540661301" Paper_ID="/74029.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540662243" Paper_ID="/74029.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540666737" Paper_ID="/74029.html" Extracted="3540666737" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540678972" Paper_ID="/74029.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540752900" Paper_ID="/74029.html" Extracted="3540752900" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/73430.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 26th ACM SIGPLANSIGACT on Principles of programming languages POPL99" CiteSeer_Volume="" Title="{Trust and Partial Typing in Open Systems of Mobile Agents},">
<identifier Org="ISBN:0444828303" Paper_ID="/73430.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0521771846" Paper_ID="/73430.html" Extracted="0521771846" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0521873304" Paper_ID="/73430.html" Extracted="0521873304" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:076951927X" Paper_ID="/73430.html" Extracted="076951927X" />
<identifier Org="ISBN:0792379233" Paper_ID="/73430.html" Extracted="0792379233" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1581133545" Paper_ID="/73430.html" Extracted="1581133545" DDC="005.71" Normalized_DDC="00571" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1599045885" Paper_ID="/73430.html" Extracted="1599045885" DDC="621.381068/8" Normalized_DDC="6213810688" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008861" Paper_ID="/73430.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540208879" Paper_ID="/73430.html" Extracted="3540208879" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540283099" Paper_ID="/73430.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540418644" Paper_ID="/73430.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540424970" Paper_ID="/73430.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540425225" Paper_ID="/73430.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540661301" Paper_ID="/73430.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678972" Paper_ID="/73430.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540735887" Paper_ID="/73430.html" Extracted="3540735887" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/36426.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL 98 The 25TH ACM SIGPLANSIGACT Symposium on Principles of Programming Languages San Diego California" CiteSeer_Volume="" Title="Secure Information Flow in a Multi-Threaded Imperative Language,">
<identifier Org="ISBN:3540209557" Paper_ID="/36426.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540291075" Paper_ID="/36426.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540300074" Paper_ID="/36426.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540304959" Paper_ID="/36426.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354042167X" Paper_ID="/36426.html" Extracted="354042167X" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540422870" Paper_ID="/36426.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424997" Paper_ID="/36426.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540425225" Paper_ID="/36426.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354043075X" Paper_ID="/36426.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540433538" Paper_ID="/36426.html" Extracted="3540433538" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540442359" Paper_ID="/36426.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540661301" Paper_ID="/36426.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354066677X" Paper_ID="/36426.html" Extracted="354066677X" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354071409X" Paper_ID="/36426.html" Extracted="354071409X" />
<identifier Org="ISBN:3540748342" Paper_ID="/36426.html" Extracted="3540748342" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540766367" Paper_ID="/36426.html" Extracted="3540766367" />
<identifier Org="ISBN:3540775048" Paper_ID="/36426.html" Extracted="3540775048" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540787380" Paper_ID="/36426.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
</rec>
<rec ID="/57185.html" Type="article" CiteSeer_Book="Journal of Computer Security" CiteSeer_Volume="4" Title="A Sound Type System for Secure Flow Analysis,">
<identifier Org="ISBN:3540208038" Paper_ID="/57185.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540208135" Paper_ID="/57185.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540209557" Paper_ID="/57185.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540242872" Paper_ID="/57185.html" Extracted="3540242872" DDC="332.1/78" Normalized_DDC="332178" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354024297X" Paper_ID="/57185.html" Extracted="354024297X" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540285849" Paper_ID="/57185.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540291075" Paper_ID="/57185.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540304959" Paper_ID="/57185.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540309462" Paper_ID="/57185.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540418644" Paper_ID="/57185.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540423451" Paper_ID="/57185.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540442359" Paper_ID="/57185.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540661301" Paper_ID="/57185.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540712089" Paper_ID="/57185.html" Extracted="3540712089" />
<identifier Org="ISBN:3540752269" Paper_ID="/57185.html" Extracted="3540752269" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540770496" Paper_ID="/57185.html" Extracted="3540770496" />
<identifier Org="ISBN:3642005896" Paper_ID="/57185.html" Extracted="3642005896" />
<identifier Org="ISBN:364201464X" Paper_ID="/57185.html" Extracted="364201464X" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Static Analysis for the pi-calculus with Applications to Security">
<identifier Org="ISBN:3540300074" Paper_ID="SELF" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540404384" Paper_ID="SELF" Extracted="3540404384" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540406719" Paper_ID="SELF" Extracted="3540406719" />
</rec>
</references_metadata>