A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis.

Qingfeng Chen Yi-Ping Phoebe Chen Chengqi Zhang Shichao Zhang

Published in: DEEC (2005)

Keyphrases

data analysis
lightweight
digital libraries
software systems
autonomous agents
security protocols