Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: Enforcing Trace Properties by Program Transformation

Author:

Author:

Subject: Thomas Colcombet,Pascal Fradet Inria Enforcing Trace Properties by Program Transformation

Description: We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program and the property and automatically produces another "equivalent" program satisfying the property. This separation of concerns makes the program easier to develop and maintain. Our approach is both static and dynamic. It integrates static analyses in order to avoid useless transformations. On the other hand, it never rejects programs but adds dynamic checks when necessary. An important challenge is to make this dynamic enforcement as inexpensive as possible. The most obvious application domain is the enforcement of security policies. In particular, a potential use of the method is the securization of mobile code upon receipt. 1 Motivation and approach Programming can be seen as the task of implementing a collection of properties (the specification). Let us focus on two problems the programmer may face in this...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-02-04

Pubyear: 2000

Format: ps

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

Source: http://www.irisa.fr/EXTERNE/projet/lande/colcombe/Publi/popl00-cf.ps.gz

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="/63700.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   SIGPLAN   91   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Soft   typing,">

            <identifier   Org="ISBN:1402081405"   Paper_ID="/63700.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1841500704"   Paper_ID="/63700.html"   Extracted="1841500704"   DDC="005.114"   Normalized_DDC="005114"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540213066"   Paper_ID="/63700.html"   Extracted="3540213066"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/63700.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:3540571825"   Paper_ID="/63700.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/63700.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540631046"   Paper_ID="/63700.html"   Extracted="3540631046"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540735887"   Paper_ID="/63700.html"   Extracted="3540735887"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540745904"   Paper_ID="/63700.html"   Extracted="3540745904"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/333852.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Automatic   Monitoring   of   Software   Requirements,">

            <identifier   Org="ISBN:0769522548"   Paper_ID="/333852.html"   Extracted="0769522548"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/333852.html"   Extracted="1581130740"   />

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

            <identifier   Org="ISBN:3540407278"   Paper_ID="/333852.html"   Extracted="3540407278"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540408606"   Paper_ID="/333852.html"   Extracted="3540408606"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/548601.html"   Type="inproceedings"   CiteSeer_Book="WNSP   New   Security   Paradigms   Workshop"   CiteSeer_Volume=""   Title="{SASI}   Enforcement   of   Security   Policies:   {A}   Retrospective,">

            <identifier   Org="ISBN:0387021086"   Paper_ID="/548601.html"   Extracted="0387021086"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:038720170X"   Paper_ID="/548601.html"   Extracted="038720170X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540297979"   Paper_ID="/548601.html"   Extracted="3540297979"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540407960"   Paper_ID="/548601.html"   Extracted="3540407960"   DDC="005.1/12"   Normalized_DDC="005112"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="/548601.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540744088"   Paper_ID="/548601.html"   Extracted="3540744088"   />

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

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

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

      </rec>

      <rec   ID="/12746.html"   Type="inproceedings"   CiteSeer_Book="IEEE   Symposium   on   Security   and   Privacy"   CiteSeer_Volume=""   Title="Flexible   Policy-Directed   Code   Safety,">

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

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

            <identifier   Org="ISBN:1880446073"   Paper_ID="/12746.html"   Extracted="1880446073"   />

            <identifier   Org="ISBN:1880446200"   Paper_ID="/12746.html"   Extracted="1880446200"   />

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

            <identifier   Org="ISBN:3540205292"   Paper_ID="/12746.html"   Extracted="3540205292"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/313021.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="Model   Checking   for   Programming   Languages   using   Verisoft,">

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

            <identifier   Org="ISBN:0792386469"   Paper_ID="/313021.html"   Extracted="0792386469"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0849328241"   Paper_ID="/313021.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540001417"   Paper_ID="/313021.html"   Extracted="3540001417"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540208038"   Paper_ID="/313021.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="/313021.html"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540235264"   Paper_ID="/313021.html"   Extracted="3540235264"   />

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

            <identifier   Org="ISBN:3540410309"   Paper_ID="/313021.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540410538"   Paper_ID="/313021.html"   Extracted="3540410538"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/313021.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540733698"   Paper_ID="/313021.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540758666"   Paper_ID="/313021.html"   Extracted="3540758666"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/313021.html"   Extracted="3540851135"   />

            <identifier   Org="ISBN:3540874747"   Paper_ID="/313021.html"   Extracted="3540874747"   />

      </rec>

      <rec   ID="/410667.html"   Type="inproceedings"   CiteSeer_Book="USENIX   Symposium   on   Internet   Technologies   and   Systems"   CiteSeer_Volume=""   Title="Going   Beyond   the   Sandbox:   An   Overview   of   the   New   Security   Architecture   in   the   {Java   Development   Kit   1.2},">

            <identifier   Org="ISBN:0309065585"   Paper_ID="/410667.html"   Extracted="0309065585"   DDC="384.3"   Normalized_DDC="3843"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0387244859"   Paper_ID="/410667.html"   Extracted="0387244859"   DDC="305.8"   Normalized_DDC="3058"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0769502377"   Paper_ID="/410667.html"   Extracted="0769502377"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:079237973X"   Paper_ID="/410667.html"   Extracted="079237973X"   DDC="005.7/13"   Normalized_DDC="005713"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:1581135289"   Paper_ID="/410667.html"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540001336"   Paper_ID="/410667.html"   Extracted="3540001336"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:3540658211"   Paper_ID="/410667.html"   Extracted="3540658211"   DDC="004.3"   Normalized_DDC="0043"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540676600"   Paper_ID="/410667.html"   Extracted="3540676600"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:3540886249"   Paper_ID="/410667.html"   Extracted="3540886249"   />

      </rec>

      <rec   ID="/73327.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   {SLam}   Calculus:   Programming   with   Security   and   Integrity,">

            <identifier   Org="ISBN:0521543274"   Paper_ID="/73327.html"   Extracted="0521543274"   DDC="515"   Normalized_DDC="515"   Normalized_Weight="0.2"   />

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

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

            <identifier   Org="ISBN:3540433635"   Paper_ID="/73327.html"   Extracted="3540433635"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

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

      </rec>

      <rec   ID="/63210.html"   Type="incollection"   CiteSeer_Book="Proceedings   European   Conference   on   ObjectOriented   Programming"   CiteSeer_Volume=""   Title="Aspect-Oriented   Programming,">

            <identifier   Org="ISBN:0201745720"   Paper_ID="/63210.html"   Extracted="0201745720"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0321219767"   Paper_ID="/63210.html"   Extracted="0321219767"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0321245873"   Paper_ID="/63210.html"   Extracted="0321245873"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0321246748"   Paper_ID="/63210.html"   Extracted="0321246748"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0321268881"   Paper_ID="/63210.html"   Extracted="0321268881"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:0471431044"   Paper_ID="/63210.html"   Extracted="0471431044"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

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

            <identifier   Org="ISBN:1930110936"   Paper_ID="/63210.html"   Extracted="1930110936"   DDC="005.117"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540009485"   Paper_ID="/63210.html"   Extracted="3540009485"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540205365"   Paper_ID="/63210.html"   Extracted="3540205365"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354022159X"   Paper_ID="/63210.html"   Extracted="354022159X"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354027992X"   Paper_ID="/63210.html"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540291385"   Paper_ID="/63210.html"   Extracted="3540291385"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540329722"   Paper_ID="/63210.html"   Extracted="3540329722"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540437592"   Paper_ID="/63210.html"   Extracted="3540437592"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540630899"   Paper_ID="/63210.html"   Extracted="3540630899"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540654607"   Paper_ID="/63210.html"   Extracted="3540654607"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:354066954X"   Paper_ID="/63210.html"   Extracted="354066954X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540735887"   Paper_ID="/63210.html"   Extracted="3540735887"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05"   />

            <identifier   Org="ISBN:3540752935"   Paper_ID="/63210.html"   Extracted="3540752935"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.05"   />

      </rec>

      <rec   ID="/356502.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="25"   Title="A   Domain-Specific   Language   for   Regular   Sets   of   Strings   and   Trees,">

            <identifier   Org="ISBN:0201799405"   Paper_ID="/356502.html"   Extracted="0201799405"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0824727274"   Paper_ID="/356502.html"   Extracted="0824727274"   />

            <identifier   Org="ISBN:3110178214"   Paper_ID="/356502.html"   Extracted="3110178214"   DDC="415/.01/51"   Normalized_DDC="4150151"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540215239"   Paper_ID="/356502.html"   Extracted="3540215239"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540411968"   Paper_ID="/356502.html"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540645705"   Paper_ID="/356502.html"   Extracted="3540645705"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/356502.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/272580.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="Security   properties   of   typed   applets,">

            <identifier   Org="ISBN:0262162091"   Paper_ID="/272580.html"   Extracted="0262162091"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:0521543274"   Paper_ID="/272580.html"   Extracted="0521543274"   DDC="515"   Normalized_DDC="515"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:1402070241"   Paper_ID="/272580.html"   Extracted="1402070241"   DDC="004.165"   Normalized_DDC="004165"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1852332476"   Paper_ID="/272580.html"   Extracted="1852332476"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:354042167X"   Paper_ID="/272580.html"   Extracted="354042167X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540424970"   Paper_ID="/272580.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540705910"   Paper_ID="/272580.html"   Extracted="3540705910"   />

      </rec>

      <rec   ID="/191887.html"   Type="article"   CiteSeer_Book="Formal   Aspects   of   Computing"   CiteSeer_Volume="4"   Title="A   Security   Flow   Control   Algorithm   and   Its   Denotational   Semantics   Correctness   Proof,">

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

            <identifier   Org="ISBN:052180731X"   Paper_ID="/191887.html"   Extracted="052180731X"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0769523404"   Paper_ID="/191887.html"   Extracted="0769523404"   />

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

            <identifier   Org="ISBN:3540603603"   Paper_ID="/191887.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540656995"   Paper_ID="/191887.html"   Extracted="3540656995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

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

      </rec>

      <rec   ID="/50371.html"   Type="InProceedings"   CiteSeer_Book="Proceedings   of   the   24th   ACM   SIGPLANSIGACT   Symposium   on   Principles   of   Programming   Langauges   POPL   97"   CiteSeer_Volume=""   Title="{Proof-Carrying   Code},">

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

            <identifier   Org="ISBN:0262162288"   Paper_ID="/50371.html"   Extracted="0262162288"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0387710574"   Paper_ID="/50371.html"   Extracted="0387710574"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0470068523"   Paper_ID="/50371.html"   Extracted="0470068523"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0471222011"   Paper_ID="/50371.html"   Extracted="0471222011"   DDC="004.67/8/03"   Normalized_DDC="00467803"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:084931240X"   Paper_ID="/50371.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/50371.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402081405"   Paper_ID="/50371.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1558608176"   Paper_ID="/50371.html"   Extracted="1558608176"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540008985"   Paper_ID="/50371.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540230173"   Paper_ID="/50371.html"   Extracted="3540230173"   DDC="511.36028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540252363"   Paper_ID="/50371.html"   Extracted="3540252363"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540255931"   Paper_ID="/50371.html"   Extracted="3540255931"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540255966"   Paper_ID="/50371.html"   Extracted="3540255966"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540439315"   Paper_ID="/50371.html"   Extracted="3540439315"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354071409X"   Paper_ID="/50371.html"   Extracted="354071409X"   />

      </rec>

      <rec   ID="/31306.html"   Type="inproceedings"   CiteSeer_Book="Static   Analysis   Symposium"   CiteSeer_Volume=""   Title="Trust   in   the   lambda-Calculus,">

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

            <identifier   Org="ISBN:0769523404"   Paper_ID="/31306.html"   Extracted="0769523404"   />

            <identifier   Org="ISBN:3540603603"   Paper_ID="/31306.html"   Extracted="3540603603"   DDC="005.1/31"   Normalized_DDC="005131"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/69472.html"   Type="inproceedings"   CiteSeer_Book="TAPSOFT"   CiteSeer_Volume=""   Title="A   Type-Based   Approach   to   Program   Security,">

            <identifier   Org="ISBN:0769510469"   Paper_ID="/69472.html"   Extracted="0769510469"   />

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

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

            <identifier   Org="ISBN:3540206329"   Paper_ID="/69472.html"   Extracted="3540206329"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/69472.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540221190"   Paper_ID="/69472.html"   Extracted="3540221190"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540227911"   Paper_ID="/69472.html"   Extracted="3540227911"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540283722"   Paper_ID="/69472.html"   Extracted="3540283722"   />

            <identifier   Org="ISBN:3540420681"   Paper_ID="/69472.html"   Extracted="3540420681"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540627812"   Paper_ID="/69472.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540628525"   Paper_ID="/69472.html"   Extracted="3540628525"   DDC="005.276"   Normalized_DDC="005276"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540645918"   Paper_ID="/69472.html"   Extracted="3540645918"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540766367"   Paper_ID="/69472.html"   Extracted="3540766367"   />

      </rec>

      <rec   ID="/700137.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Programming   Languages"   CiteSeer_Volume=""   Title="A   Type   System   for   Expressive   Security   Policies,">

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

            <identifier   Org="ISBN:1402081405"   Paper_ID="/700137.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402081464"   Paper_ID="/700137.html"   Extracted="1402081464"   DDC="332.76"   Normalized_DDC="33276"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:1595930906"   Paper_ID="/700137.html"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540205365"   Paper_ID="/700137.html"   Extracted="3540205365"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/700137.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540439315"   Paper_ID="/700137.html"   Extracted="3540439315"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:3540713891"   Paper_ID="/700137.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/245387.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Understanding   {Java}   Stack   Inspection,">

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

            <identifier   Org="ISBN:0780399277"   Paper_ID="/245387.html"   Extracted="0780399277"   />

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

            <identifier   Org="ISBN:1402074735"   Paper_ID="/245387.html"   Extracted="1402074735"   DDC="658.4/038"   Normalized_DDC="6584038"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581131135"   Paper_ID="/245387.html"   Extracted="1581131135"   />

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

            <identifier   Org="ISBN:1581135289"   Paper_ID="/245387.html"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540007016"   Paper_ID="/245387.html"   Extracted="3540007016"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/245387.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354027992X"   Paper_ID="/245387.html"   Extracted="354027992X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540689788"   Paper_ID="/245387.html"   Extracted="3540689788"   />

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Enforcing   Trace   Properties   by   Program   Transformation">

            <identifier   Org="ISBN:0470091517"   Paper_ID="SELF"   Extracted="0470091517"   DDC="621.3845/6"   Normalized_DDC="62138456"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:1402081464"   Paper_ID="SELF"   Extracted="1402081464"   DDC="332.76"   Normalized_DDC="33276"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1581135289"   Paper_ID="SELF"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1595930906"   Paper_ID="SELF"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540205365"   Paper_ID="SELF"   Extracted="3540205365"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="SELF"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540253882"   Paper_ID="SELF"   Extracted="3540253882"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540291067"   Paper_ID="SELF"   Extracted="3540291067"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="SELF"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="SELF"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

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

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

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

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

      </rec>

</references_metadata>