PrT-net Based Analysis of Information Flow Security Nets

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorJuopperi, Jari
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2021-04-14T18:14:10Z
dc.date.available2021-04-14T18:14:10Z
dc.date.issued1995 
dc.format.extentix + 87 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/105463
dc.identifier.urnURN:NBN:fi:aalto-202104144753
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordsecurity modelen
dc.subject.keywordinformation flow modelen
dc.subject.keywordsecurity analysisen
dc.subject.keywordInformation Flow Security Netsen
dc.subject.keywordPredicate/Transition netsen
dc.subject.keywordPetri netsen
dc.subject.keywordreachability analysisen
dc.titlePrT-net Based Analysis of Information Flow Security Netsen
dc.titleIFS-verkkojen analysointi PrT-verkkoja käyttäenfi
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_70730
local.aalto.idinssi10141
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK