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
Algebra model and security analysis for cryptographic protocols - MaRDI portal

Algebra model and security analysis for cryptographic protocols

From MaRDI portal

Publication:866077

Jump to:navigation, search

zbMath1186.94448MaRDI QIDQ866077

Xianxian Li, Jin-Peng Huai

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

zbMATH Keywords

information security formal analysis cryptographic protocol algebra system

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

Cryptographic protocol security analysis based on bounded constructing algorithm

This page was built for publication: Algebra model and security analysis for cryptographic protocols

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