Modeling and analysis of time-dependent security protocols in real-time Maude
Martin Grimeland
Bok Engelsk 2006
| Utgitt | Oslo : M. Grimeland , 2006
|
|---|---|
| Omfang | viii, 228 s. : fig.
|
| Opplysninger | Masteroppgave i informatikk - Universitetet i Oslo, 2006
|
| Emner | Databehandling
Kryptografi Maude Omskrivning Vis mer... Protokollanalyse
Sanntidssystemer informatikk omskrivinglogikk sikkerhetsprotokoller modellering analyse formelle metoder |
