Login / Signup
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic.
Feng Liu
Zhoujun Li
Ti Zhou
Mengjun Li
Published in:
SEKE (2008)
Keyphrases
</>
security protocols
multi agent
knowledge base
low cost