From type theory to the verification of security protocols

Authors:
Mourad Debbabi;Mohamed Mejri
Affiliations:
-;-
Venue:
From type theory to the verification of security protocols
Year:
2001

Citing 0
Cited 1

Admissible interference by typing for cryptographic protocols

ICICS'05 Proceedings of the 7th international conference on Information and Communications Security

Quantified Score

Hi-index	0.00

Visualization

Abstract