Matching in security-by-contract for mobile code (Q2390033): Difference between revisions

@@ Property / cites work @@
+jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
+Normal rank
@@ Property / cites work @@
+ConSpec - A formal language for policy specification
+Normal rank
@@ Property / cites work @@
+Matching in security-by-contract for mobile code
@@ Property / cites work: Matching in security-by-contract for mobile code / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484483
@@ Property / cites work: Q4484483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535058
@@ Property / cites work: Q4535058 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair simulation
@@ Property / cites work: Fair simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4356435
@@ Property / cites work: Q4356435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank