A Model for Secure Protocols and Their Compositions.

Nevin Heintze J. D. Tygar

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

mathematical model
high level
theoretical framework