Test Sync

paw10003 · Jun 13, 2016 · 28d4f23 · 28d4f23
1 parent 3f150e5
commit 28d4f23
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/AADLSecPaper.pdf b/AADLSecPaper.pdf
diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex
@@ -323,7 +323,7 @@ Other additional aspects of this framework, that could come from the existing to
 \subsection{Component Libraries}
 As with previous work to extend formal languages with security, in order to formalize this framework, one needs 
 to produce a form of component library that represents the possible combinations, or solutions, that a designer 
-or developer can pull from to generate new implementation models.  Listing~\ref{lst:AADLUserDefineLow}) shows an example of how one could use AADL to define properties on a processor.
+or developer can pull from to generate new implementation models.  Listing~\ref{lst:AADLUserDefineLow}) shows an example of how one could use AADL to define properties on a processor and an encrypted transmitter.
 % Add in the table of elements and variations
 \begin{table*}[]
 \centering