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

Graph

<?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>

www.000webhost.com