A Formal Analysis of Complex Type Flaw Attacks on Security Protocols (Q5505422): Difference between revisions

@@ Property / OpenAlex ID @@
+W1586945915
@@ Property / OpenAlex ID: W1586945915 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / 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 @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Validating firewalls using flow logics
@@ Property / cites work: Validating firewalls using flow logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4654726
@@ Property / cites work: Q4654726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365751
@@ Property / cites work: Q4365751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023833
@@ Property / cites work: Q4023833 / rank @@
+Normal rank