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
A Formal Semantics for SPKI - MaRDI portal

A Formal Semantics for SPKI

From MaRDI portal

Publication:5862301

Jump to:navigation, search

DOI10.1007/10722599_9zbMath1487.68065OpenAlexW2123440474MaRDI QIDQ5862301

David Kotz, Jon Howell

Publication date: 7 March 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10722599_9

zbMATH Keywords

modal logic formal semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Network protocols (68M12) Internet topics (68M11) Computer security (68M25)

Cites Work

Related Items (1)

Mechanizing common knowledge logic using COQ

This page was built for publication: A Formal Semantics for SPKI

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