About this scholarly article

2006 IEEE Symposium on Security and Privacy (S&P'06) - A logic for constraint-based security protocol analysis by Corin, R.; Saptawijaya, A. is a scholarly article available to read on EtoBox.

Author

Corin, R.; Saptawijaya, A.

Publisher

IEEE

Published

2006