An application of justification logic to protocol verification

TitleAn application of justification logic to protocol verification
Publication TypeConference Paper
Year of Publication2011
AuthorsStuder, T
Conference NameProceedings of Computational Intelligence and Security CIS 2011
Pagination779-783
PublisherIEEE
URLhttp://www.iam.unibe.ch/ltgpub/2011/stu11b.pdf