Secrecy types for asymmetric communication. (Q1874278): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q2752046
@@ Property / cites work: Q2752046 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4343438
@@ Property / cites work: Q4343438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536614
@@ Property / cites work: Q4536614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691050
@@ Property / cites work: Q3691050 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic encryption
@@ Property / cites work: Probabilistic encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754161
@@ Property / cites work: Q2754161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+Three systems for cryptographic protocol analysis
@@ Property / cites work: Three systems for cryptographic protocol analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4718481
@@ Property / cites work: Q4718481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219055
@@ Property / cites work: Q4219055 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Information flow inference for free
@@ Property / cites work: Information flow inference for free / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00863-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2105237010
@@ Property / OpenAlex ID: W2105237010 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1874278