A Formal Language for Specifying Security Properties Anders Moen Hagalisletto Jon Haugsand Publikasjonsdetaljer Utgiver: Austrian Computer Society Internasjonale standardnumre: Trykt: 3-85403-180-7 Du er her: Hjem Publikasjoner Vitenskapelig antologi/Konferanseserie A Formal Language for Specifying Security Properties