Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, - detaljert visning

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Springer , c2003
Omfang	X, 238 s. : ill.
Emner	Computer security Formal methods (Computer science) Autentisering Datasikkerhet Vis mer... Kommunikasjonsprotokoller Protokollverifikasjon Sikkerhet Verifikasjon formelle metoder
ISBN	3540206930

Biblioteksøk