Contracts for security adaptation (Q541291): Difference between revisions

@@ Property / author @@
+Sumit K. Garg
@@ Property / author: Sumit K. Garg / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T35
@@ Property / Mathematics Subject Classification ID: 68T35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5904559
@@ Property / zbMATH DE Number: 5904559 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model-based adaptation
@@ Property / zbMATH Keywords: model-based adaptation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+web service orchestration
@@ Property / zbMATH Keywords: web service orchestration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+security specification
@@ Property / zbMATH Keywords: security specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+adaptation contracts
@@ Property / zbMATH Keywords: adaptation contracts / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+WS-security
@@ Property / zbMATH Keywords: WS-security / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DCMTB
@@ Property / describes a project that uses: DCMTB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LTSA-WS
@@ Property / describes a project that uses: LTSA-WS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WSAT
@@ Property / describes a project that uses: WSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ITACA
@@ Property / describes a project that uses: ITACA / rank @@
+Normal rank
@@ 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.jlap.2010.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2052240431
@@ Property / OpenAlex ID: W2052240431 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Component adaptation through flexible subservicing
+Normal rank
@@ Property / cites work @@
+Q3539948
@@ Property / cites work: Q3539948 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Adaptation Contracts
@@ Property / cites work: Automatic Generation of Adaptation Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:541291