Abstrakt. Kryptografiska protokoll är användbara för förtroendeteknik i distribuerade transaktioner. Transaktioner kräver särskild grad av sekretess och överenskommelse mellan de huvudmän som deltar i transaktionen. Dessutom, trust management påståenden kan knytas till protokoll åtgärder, begränsa beteendet hos en huvudman för att vara kompatibel med sin egen förtroende politik. Vi förkroppsligar dessa idéer i en kryptografisk protokoll programmering språk cppl på Dolev-Yao nivå av abstraktion. En strand utrymme semantik för cppl formade vår kompilator utveckling, och tillåter en protokolldesigner för att bevisa att ett protokoll är ljud.
Guttman, Herzog, Ramsdell och Sniffe REF bifogade trust management påståenden till protokoll åtgärder, begränsa beteendet hos en huvudman för att vara kompatibel med sin egen förtroendepolicy, och föreslog CPPL språk för design och verifiering.
Programming cryptographic protocols
{'venue': 'In Rocco De Nicola and Davide Sangiorgi, editors, Trust in Global Computing, number 3705 in LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}