\textsf{CaPiTo}: Protocol stacks for services (Q640297): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q2849853
@@ Property / cites work: Q2849853 / rank @@
+Normal rank
@@ Property / cites work @@
+\textsf{CaPiTo}: Protocol stacks for services
@@ Property / cites work: \textsf{CaPiTo}: Protocol stacks for services / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
+Normal rank
@@ Property / cites work @@
+Flow Logic for Process Calculi
@@ Property / cites work: Flow Logic for Process Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4654726
@@ Property / cites work: Q4654726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank