Login / Signup
A graphical environment for the facilitation of logic-based security protocol analysis.
Elton Saul
A. C. M. Hutchison
Published in:
South Afr. Comput. J. (2000)
Keyphrases
</>
real time
security protocols
databases
search engine
data analysis
low cost