Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914): Difference between revisions

@@ Property / describes a project that uses @@
+TAMARIN
@@ Property / describes a project that uses: TAMARIN / 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.1016/j.jlamp.2015.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1157586374
@@ Property / OpenAlex ID: W1157586374 / 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 @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Modular verification of security protocol code by typing
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Secure Resource Management in Protocol Implementations
+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 @@
+Pattern-matching spi-calculus
@@ Property / cites work: Pattern-matching spi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Type-Based Automated Verification of Authenticity in Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Type Inference for Correspondence Types
@@ Property / cites work: Type Inference for Correspondence Types / rank @@
+Normal rank
@@ Property / cites work @@
+Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+On the security of SPLICE/AS -- The authentication system in WIDE Internet
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Security Protocol Verification: Symbolic and Computational Models
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Formal correctness of security protocols.
@@ Property / cites work: Formal correctness of security protocols. / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Proving More Observational Equivalences with ProVerif
+Normal rank
@@ Property / cites work @@
+Verification of cryptographic protocols: tagging enforces termination
+Normal rank
@@ Property / cites work @@
+Secure distributed programming with value-dependent types
+Normal rank
@@ Property / cites work @@
+Probabilistic relational verification for cryptographic implementations
+Normal rank
@@ Property / cites work @@
+A bisimulation for dynamic sealing
@@ Property / cites work: A bisimulation for dynamic sealing / rank @@
+Normal rank