Formal Analysis of Dynamic, Distributed File-System Access Controls (Q3613061): Difference between revisions

@@ 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/11888116_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1570544488
@@ Property / OpenAlex ID: W1570544488 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Typing correspondence assertions for communication protocols
+Normal rank
@@ Property / cites work @@
+Building secure file systems out of byzantine storage
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank