seL4 Enforces Integrity (Q3088017): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22863-6_24
+Normal rank
@@ Property / OpenAlex ID @@
+W51058944
@@ Property / OpenAlex ID: W51058944 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure Microkernels, State Monads and Scalable Refinement
+Normal rank
@@ Property / cites work @@
+Programming semantics for multiprogrammed computations
+Normal rank
@@ Property / cites work @@
+Operating system verification---an overview
@@ Property / cites work: Operating system verification---an overview / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Time Algorithm for Deciding Subject Security
+Normal rank
@@ Property / cites work @@
+Specification and verification of the UCLA Unix security kernel
+Normal rank