Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Time-Dependent Cryptographic Protocol Logic and Its Formal Semantics - MaRDI portal

Time-Dependent Cryptographic Protocol Logic and Its Formal Semantics

From MaRDI portal

Publication:3109146

Jump to:navigation, search

DOI10.3724/SP.J.1001.2011.03732zbMath1240.68097MaRDI QIDQ3109146

Xinfeng Lei, Junmo Xiao, Jun Liu

Publication date: 27 January 2012

Published in: Journal of Software (Search for Journal in Brave)

zbMATH Keywords

formal semantics time-dependent cryptographic protocol predicate modal logic

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logics of knowledge and belief (including belief change) (03B42) Semantics in the theory of computing (68Q55)

This page was built for publication: Time-Dependent Cryptographic Protocol Logic and Its Formal Semantics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3109146&oldid=16189886"