Dynamic role authorization in multiparty conversations (Q315294): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6628711
@@ Property / zbMATH DE Number: 6628711 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software verification
@@ Property / zbMATH Keywords: software verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type systems
@@ Property / zbMATH Keywords: type systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavioral types
@@ Property / zbMATH Keywords: behavioral types / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process calculi
@@ Property / zbMATH Keywords: process calculi / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+authorization control
@@ Property / zbMATH Keywords: authorization control / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1994472125
@@ Property / OpenAlex ID: W1994472125 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57652357
@@ Property / Wikidata QID: Q57652357 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5977
@@ Property / arXiv ID: 1408.5977 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining behavioural types with security analysis
+Normal rank
@@ Property / cites work @@
+Correspondence assertions for process synchronization in concurrent communications
+Normal rank
@@ Property / cites work @@
+Information flow safety in multiparty sessions
@@ Property / cites work: Information flow safety in multiparty sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types for Access and Information Flow Control
+Normal rank
@@ Property / cites work @@
+Q4250669
@@ Property / cites work: Q4250669 / rank @@
+Normal rank
@@ Property / cites work @@
+Conversation types
@@ Property / cites work: Conversation types / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Role-Based Access Control of Dynamic Web Data
+Normal rank
@@ Property / cites work @@
+Dynamic multirole session types
@@ Property / cites work: Dynamic multirole session types / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic role authorization in multiparty conversations
+Normal rank
@@ Property / cites work @@
+Dynamic management of capabilities in a network aware coordination language
+Normal rank
@@ Property / cites work @@
+Q4986260
@@ Property / cites work: Q4986260 / rank @@
+Normal rank
@@ Property / cites work @@
+Protection in operating systems
@@ Property / cites work: Protection in operating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050162
@@ Property / cites work: Q4050162 / rank @@
+Normal rank
@@ Property / cites work @@
+Regulating Data Exchange in Service Oriented Applications
+Normal rank
@@ Property / cites work @@
+Q4800173
@@ Property / cites work: Q4800173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:315294