diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex index b9131c2..487c0a9 100644 --- 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;