Pregled bibliografske jedinice broj: 138082
Privacy, Abstract Encryption and Protocols: an ASM Model - Part I
Privacy, Abstract Encryption and Protocols: an ASM Model - Part I // Abstract State Machines 2003. Advances in Theory and Practice / E. Börger, A. Gargantini, E. Riccobene (ur.).
Berlin : Heidelberg : New York: Springer, 2003. str. 372-390 (plenarno, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 138082 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Privacy, Abstract Encryption and Protocols: an ASM Model - Part I
Autori
Rosenzweig, Dean ; Runje, Davor ; Slani, Neva
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Abstract State Machines 2003. Advances in Theory and Practice
/ E. Börger, A. Gargantini, E. Riccobene - Berlin : Heidelberg : New York : Springer, 2003, 372-390
Skup
10th International Workshop on Abstract State Machines, ASM 2003
Mjesto i datum
Taormina, Italija, 03.03.2003. - 07.03.2003
Vrsta sudjelovanja
Plenarno
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
abstract encryption; ASM; AsmL; cryptographic protocols
Sažetak
We introduce an executable formal model of abstract encryption using the specification language AsmL, based on Abstract State Machines of Gurevich, providing a simple executable models for cryptographic protocols. We show strong universality properties of our descriptions of patterns, protocol roles and environment behaviors---no ASM program can do better, given the same information.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
