Fix of AccessMode/AccessGroup listing example

paw10003 · Jun 13, 2016 · 985dd77 · 985dd77
1 parent af84c83
commit 985dd77
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex
@@ -154,7 +154,8 @@ property set Security_Trust is
 -- Added property that supports access mode of data
 
      AccessProtection: list of record (
-
+          AccessMode: enumeration (r, w, rw, x);
+          AccessGroup: enumeration (CC, ABS);
      ) applies to (all);
 
 end Security_Trust;