Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-010-9189-7
@@ Property / DOI: 10.1007/s10817-010-9189-7 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5903835
@@ Property / zbMATH DE Number: 5903835 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+barbed congruence
@@ Property / zbMATH Keywords: barbed congruence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+(early) bisimulation
@@ Property / zbMATH Keywords: (early) bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cryptographic primitives
@@ Property / zbMATH Keywords: cryptographic primitives / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fully abstract encoding
@@ Property / zbMATH Keywords: fully abstract encoding / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\pi \)-calculus
@@ Property / zbMATH Keywords: \(\pi \)-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+polyadic synchronisation
@@ Property / zbMATH Keywords: polyadic synchronisation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MWB
@@ Property / describes a project that uses: MWB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-010-9189-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2093425000
@@ Property / OpenAlex ID: W2093425000 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Proof Techniques for Cryptographic Processes
@@ Property / cites work: Proof Techniques for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the spi calculus
@@ Property / cites work: On bisimulations for the spi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding cryptographic primitives in a calculus with polyadic synchronisation
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Square patterns and secondary instabilities in driven capillary waves
+Normal rank
@@ Property / cites work @@
+Q4266484
@@ Property / cites work: Q4266484 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-010-9189-7
@@ Property / DOI: 10.1007/S10817-010-9189-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:540687