From 985dd7755d17ffc28e5fbd9f3a18a25f14fe6e01 Mon Sep 17 00:00:00 2001
From: Paul Wortman <paul.mauddib28@gmail.com>
Date: Mon, 13 Jun 2016 19:08:15 -0400
Subject: [PATCH] Fix of AccessMode/AccessGroup listing example

---
 AADLSecPaper.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;