A semantics for web services authentication (Q5892652): Difference between revisions

@@ 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.tcs.2005.03.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2131660291
@@ Property / OpenAlex ID: W2131660291 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Private authentication
@@ Property / cites work: Private authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Authentication primitives and their compilation
@@ Property / cites work: Authentication primitives and their compilation / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for web services authentication
@@ Property / cites work: A semantics for web services authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707227
@@ Property / cites work: Q4707227 / 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 @@
+Validating a web service security abstraction by typing
+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 @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank