Channel abstractions for network security (Q3550700): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Security Abstractions and Intruder Models (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Secure implementation of channel abstractions
@@ Property / cites work: Secure implementation of channel abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Private authentication
@@ Property / cites work: Private authentication / rank @@
+Normal rank
@@ Property / cites work @@
+On asynchrony in name-passing calculi
@@ Property / cites work: On asynchrony in name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/mscs/BugliesiF10
@@ Property / DBLP publication ID: journals/mscs/BugliesiF10 / rank @@
+Normal rank