Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers
Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.)
Bok Engelsk 2003 FASec 2002
Utgitt | Berlin : Springer , c2003
|
---|---|
Omfang | X, 238 s. : ill.
|
Emner | Computer security
Formal methods (Computer science) Autentisering Computer Science Vis mer... Datasikkerhet
Engineering & Applied Sciences Kommunikasjonsprotokoller Protokollverifikasjon Sikkerhet Verifikasjon Autentisering((NO-TrBIB)REAL005159) Kommunikasjonsprotokoller((NO-TrBIB)REAL012226) Protokollverifikasjon((NO-TrBIB)REAL002741) Sikkerhet((NO-TrBIB)REAL011075) Verifikasjon((NO-TrBIB)REAL006891) formelle metoder |
Dewey | |
ISBN | 3540206930
|