|
|||||
|
|
Modal tableaux for verifying stream authentication protocols |
|
| Authors: | Mehmet A. Orgun Guido Governatori Chuchang Liu |
| Affiliation: | (1) Department of Computing, Macquarie University, Sydney, NSW, 2109, Australia;(2) School of ITEE, The University of Queensland, Brisbane, QLD, 4072, Australia;(3) C3I Division, DSTO, Edinburgh, SA, 5111, Australia |
| Abstract: | |
| Keywords: | Belief logic Temporal logic Fibring logics System-specific trust theories Modal tableaux Security protocols |
| 本文献已被 SpringerLink 等数据库收录！ | |