Analyzing iKP Security in Applied Pi Calculus.

Yonggen Gu Guoqiang Li Yuxi Fu

Published in: CIS (2004)

Keyphrases

intrusion detection
website
security requirements
data sets
artificial intelligence
decision making
statistical databases
computer security