Distributed temporal logic for the analysis of security protocol models (Q549724): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M12
@@ Property / Mathematics Subject Classification ID: 68M12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5925530
@@ Property / zbMATH DE Number: 5925530 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security protocols
@@ Property / zbMATH Keywords: security protocols / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security protocol analysis
@@ Property / zbMATH Keywords: security protocol analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security protocol models
@@ Property / zbMATH Keywords: security protocol models / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed temporal logic
@@ Property / zbMATH Keywords: distributed temporal logic / rank @@
+Normal rank

Revision as of 12:19, 1 July 2023