Secrecy and group creation (Q1763430): Difference between revisions

@@ Property / cites work @@
+Secrecy by typing in security protocols
@@ Property / cites work: Secrecy by typing in security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Secrecy types for asymmetric communication.
@@ Property / cites work: Secrecy types for asymmetric communication. / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Static analysis for the \(\pi\)-calculus with applications to security
+Normal rank
@@ Property / cites work @@
+Q4536614
@@ Property / cites work: Q4536614 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for the ambient calculus
@@ Property / cites work: Types for the ambient calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Region analysis and a π-calculus with groups
@@ Property / cites work: Region analysis and a π-calculus with groups / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice model of secure information flow
@@ Property / cites work: A lattice model of secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized name passing
@@ Property / cites work: Polarized name passing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank