Security Abstractions and Intruder Models (Extended Abstract) (Q5170668): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.06.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2042153739
@@ Property / OpenAlex ID: W2042153739 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Private authentication
@@ Property / cites work: Private authentication / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Cryptographically Sound Implementations for Communicating Processes
+Normal rank
@@ Property / cites work @@
+Cryptographically sound implementations for typed information-flow security
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / 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 @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank