A Formal Language for Specifying Security Properties Publikasjonsdetaljer Utgiver: Austrian Computer Society Internasjonale standardnumre: Trykt: 9783854031802 Du er her: Hjem Publikasjoner Vitenskapelig antologi/Konferanseserie A Formal Language for Specifying Security Properties