Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes

Publication: Research - peer-reviewJournal article – Annual report year: 2002

View graph of relations

Original languageEnglish
JournalFuture Generation Computer Systems
Volume18
Issue number6
Pages (from-to)747-756
ISSN0167-739X
StatePublished - 2002
Peer-reviewedYes
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 3973159