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
scientific article; zbMATH DE number 6300104 - MaRDI portal

scientific article; zbMATH DE number 6300104

From MaRDI portal

Publication:5418256

Jump to:navigation, search

zbMath1304.68129MaRDI QIDQ5418256

Mirosław Kurkowski, Wojciech Penczek

Publication date: 3 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Related Items (1)

Timed models of security protocols including delays in the network

This page was built for publication:

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