Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis

Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig. Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. Journal of Computer Security, 9(1/2):47-74, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.