Secrecy and group creation (Q1763430): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2004.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1585923090
@@ Property / OpenAlex ID: W1585923090 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q56982078
@@ Property / Wikidata QID: Q56982078 / rank @@
+Normal rank