A framework for merging inconsistent beliefs in security protocol analysis Conference Paper uri icon

publication date

  • 2005