Probabilistic Reasoning of Inconsistent Belief in Protocol Analysis Conference Paper uri icon

abstract

  • Security protocols have been recently found with subtle flaws due to incomplete or ambiguous specification. Although formal methods have remarkably assisted in protocol analysis, they ignores the effect of hostile/uncertain environment, which might lead t

publication date

  • 2007