Analysis of security protocols as open systems (Q1853583): 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 @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+A semantics for a logic of authentication (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q4536615
@@ Property / cites work: Q4536615 / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis for the \(\pi\)-calculus with applications to security
+Normal rank
@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+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 the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of three authentication properties.
@@ Property / cites work: A comparison of three authentication properties. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754157
@@ Property / cites work: Q2754157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493894
@@ Property / cites work: Q4493894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality Through an Operational Semantics of Contexts
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Shape analysis for mobile ambients
@@ Property / cites work: Shape analysis for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4869527
@@ Property / cites work: Q4869527 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00596-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2106613101
@@ Property / OpenAlex ID: W2106613101 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1853583