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 1543079 - MaRDI portal

scientific article; zbMATH DE number 1543079

From MaRDI portal

Publication:4520535

Jump to:navigation, search

zbMath0960.68010MaRDI QIDQ4520535

Giampaolo Bella, Elvinia Riccobene

Publication date: 26 February 2001

Full work available at URL: http://www.jucs.org/jucs_3_12/formal_analysis_of_the

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

zbMATH Keywords

Gurevich's abstract state machine Kerberos authentication system

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (2)

Proving properties of the Chord protocol using the ASM formalism ⋮ Abstract State Machines and the Inquiry Process

This page was built for publication:

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