The security pi-calculus and non-interference (Q1772311): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.jlap.2004.01.003 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JLAP.2004.01.003 / rank
 
Normal rank

Latest revision as of 10:17, 11 December 2024

scientific article
Language Label Description Also known as
English
The security pi-calculus and non-interference
scientific article

    Statements

    The security pi-calculus and non-interference (English)
    0 references
    18 April 2005
    0 references
    Distributed systems
    0 references
    Pi-calculus
    0 references
    Security types
    0 references
    Non-interference
    0 references
    Testing equivalences
    0 references

    Identifiers