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

scientific article

From MaRDI portal

Publication:2767198

Jump to:navigation, search

zbMath0983.68066MaRDI QIDQ2767198

Mourad Debbabi, Kamel Adi, Mohamed Me Jri

Publication date: 28 January 2002

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

Abstract Interpretation for Proving Secrecy Properties in Security Protocols

This page was built for publication:

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