PrT-net Based Analysis of Information Flow Security Nets

Reference:

Jari Juopperi. PrT-net Based Analysis of Information Flow Security Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995.

Suggested BibTeX entry:

@phdthesis{JuopperiLic,
    author = {Juopperi, Jari},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {{P}r{T}-net Based Analysis of Information Flow Security Nets},
    type = {Licentiate's thesis},
    year = {1995},
}