diff --git a/AADLSecPaper.aux b/AADLSecPaper.aux deleted file mode 100644 index 53e08ae..0000000 --- a/AADLSecPaper.aux +++ /dev/null @@ -1,132 +0,0 @@ -\relax -\citation{jeepHack} -\citation{planeHack} -\citation{superFish} -\citation{lenovoWPBT} -\citation{govHack} -\citation{stageFright} -\citation{androidMarshmallow,googleAndroid} -\citation{aaraj2008analysis,denning1996location,saito2015case,denning2015toward,nguyen2015model,ravi2004security,gokhale2008model,perez2006vtpm,yan2015novel,tehranipoor2015dram} -\select@language{english} -\@writefile{toc}{\select@language{english}} -\@writefile{lof}{\select@language{english}} -\@writefile{lot}{\select@language{english}} -\@writefile{toc}{\contentsline {title}{AADL Language Review and Expansion with Respect to Security Behavior and Requirements}{1}} -\@writefile{toc}{\authcount {1}} -\@writefile{toc}{\contentsline {author}{No Author Given}{1}} -\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}} -\newlabel{securityBasics}{{1}{1}} -\citation{CommonCriteria} -\citation{benzel2005design} -\citation{lin2013security} -\@writefile{toc}{\contentsline {section}{\numberline {2}Motivation and Related Work}{2}} -\newlabel{Motivation and Related Work}{{2}{2}} -\citation{markose2008systematic} -\citation{yu1997towards} -\citation{massacci2010security} -\citation{yu1997towards} -\citation{jurjens2005secure} -\citation{jurjens2002umlsec} -\citation{SysML-Sec} -\citation{SysML} -\citation{AADLSite} -\citation{AADLV2Overview} -\@writefile{toc}{\contentsline {section}{\numberline {3}AADL Annexes and Security Extensions}{4}} -\newlabel{AADL Annexes and Extensions}{{3}{4}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Introduction to AADL}{4}} -\citation{AADLTools} -\citation{ellison2015extending} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}AADL Security Annex}{5}} -\newlabel{lst:AADLaccessExtension}{{1.1}{5}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {1.1}User-defined AccessMode and AccessGroup properties~\cite {ellison2015extending}}{5}} -\citation{ellison2015extending} -\citation{AADLSecAnnex} -\citation{AADLSecAnnex} -\citation{AADLSecAnalysis} -\citation{AADLSecAnalysis} -\citation{Osate2Examples} -\citation{UserDaysMay2016} -\citation{AADLResolute} -\citation{gacek2014resolute} -\citation{ellison2015extending} -\citation{gacek2014resolute} -\newlabel{lst:AADLSecLevels}{{1.2}{6}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {1.2}Security Level Definition for AADL Security Annex~\cite {AADLSecAnnex}}{6}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}AADL Tools support for Security}{6}} -\citation{RDALOverview} -\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Graphical Example of AADL Security Annex Attack Impact Analysis~\cite {AADLSecAnalysis}}}{7}} -\newlabel{fig:AADLAttackAnalysis}{{1}{7}} -\citation{BLESS2013} -\citation{jurjens2002umlsec,jurjens2005secure} -\citation{AADLSecAnnex} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}AADL Security Annex Limitations}{8}} -\citation{AADLSecAnnex} -\newlabel{lst:AADLSecEncryption}{{1.3}{9}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {1.3}AADL Security Annex Definitions of Encryption~\cite {AADLSecAnnex}}{9}} -\@writefile{toc}{\contentsline {section}{\numberline {4}Proposed Extensions to AADL}{10}} -\newlabel{New Framework}{{4}{10}} -\citation{AADLSecAnalysis} -\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Visualization of Security Framework}}{11}} -\newlabel{fig:AADLSecFrame}{{2}{11}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Component Libraries}{11}} -\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Table illustrating different component variations}}{12}} -\newlabel{elementTypes}{{1}{12}} -\newlabel{lst:AADLUserDefineLow}{{1.4}{12}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {1.4}Example of User-defined Lower Level Components}{12}} -\citation{ALISA2016} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Security Requirements}{13}} -\newlabel{lst:AADLUserDefineHigh}{{1.5}{13}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {1.5}User-defined Higher Level Security Requirement}{13}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Mapping Process}{14}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Verification Tools}{14}} -\newlabel{lst:AADLUserDefineResolute}{{1.6}{14}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {1.6}User-defined Resolute Checks}{14}} -\bibcite{SysML-Sec}{1} -\bibcite{jurjens2005secure}{2} -\bibcite{jurjens2002umlsec}{3} -\bibcite{SysML}{4} -\bibcite{AADLSite}{5} -\bibcite{AADLV2Overview}{6} -\bibcite{AADLTools}{7} -\bibcite{Osate2}{8} -\@writefile{toc}{\contentsline {section}{\numberline {5}Conclusion}{15}} -\newlabel{Conclusion}{{5}{15}} -\bibcite{Osate2Examples}{9} -\bibcite{UserDaysMay2016}{10} -\bibcite{AADLResolute}{11} -\bibcite{RDALOverview}{12} -\bibcite{gacek2014resolute}{13} -\bibcite{EMV1}{14} -\bibcite{EMV2}{15} -\bibcite{BLESS2013}{16} -\bibcite{AADLSecAnnex}{17} -\bibcite{AADLSecAnalysis}{18} -\bibcite{ellison2015extending}{19} -\bibcite{jeepHack}{20} -\bibcite{planeHack}{21} -\bibcite{superFish}{22} -\bibcite{lenovoWPBT}{23} -\bibcite{govHack}{24} -\bibcite{stageFright}{25} -\bibcite{stageFright2}{26} -\bibcite{androidUpdates}{27} -\bibcite{androidMarshmallow}{28} -\bibcite{googleAndroid}{29} -\bibcite{aaraj2008analysis}{30} -\bibcite{denning1996location}{31} -\bibcite{saito2015case}{32} -\bibcite{denning2015toward}{33} -\bibcite{nguyen2015model}{34} -\bibcite{ravi2004security}{35} -\bibcite{gokhale2008model}{36} -\bibcite{perez2006vtpm}{37} -\bibcite{yan2015novel}{38} -\bibcite{tehranipoor2015dram}{39} -\bibcite{CommonCriteria}{40} -\bibcite{benzel2005design}{41} -\bibcite{lin2013security}{42} -\bibcite{markose2008systematic}{43} -\bibcite{yu1997towards}{44} -\bibcite{massacci2010security}{45} -\bibcite{sangiovanni2007quo}{46} -\bibcite{ALISA2016}{47} diff --git a/AADLSecPaper.log b/AADLSecPaper.log deleted file mode 100644 index af0acf3..0000000 --- a/AADLSecPaper.log +++ /dev/null @@ -1,507 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.16 (MiKTeX 2.9) (preloaded format=pdflatex 2016.2.2) 13 JUN 2016 19:18 -entering extended mode -**E:/UConn/Research/PBD_Security/ChandyReviewable/AADLSecPaper_SSR_2016/AADLSec -Paper.tex - -(E:/UConn/Research/PBD_Security/ChandyReviewable/AADLSecPaper_SSR_2016/AADLSecP -aper.tex -LaTeX2e <2015/10/01> patch level 2 -Babel <3.9n> and hyphenation patterns for 69 languages loaded. -(llncs.cls -Document Class: llncs 2013/09/27 v2.18 - LaTeX document class for Lecture Notes in Computer Science -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\article.cls" -Document Class: article 2014/09/29 v1.4h Standard LaTeX document class -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\size10.clo" -File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option) -) -\c@part=\count79 -\c@section=\count80 -\c@subsection=\count81 -\c@subsubsection=\count82 -\c@paragraph=\count83 -\c@subparagraph=\count84 -\c@figure=\count85 -\c@table=\count86 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\multicol.sty" -Package: multicol 2015/08/19 v1.8n multicolumn formatting (FMi) -\c@tracingmulticols=\count87 -\mult@box=\box26 -\multicol@leftmargin=\dimen103 -\c@unbalance=\count88 -\c@collectmore=\count89 -\doublecol@number=\count90 -\multicoltolerance=\count91 -\multicolpretolerance=\count92 -\full@width=\dimen104 -\page@free=\dimen105 -\premulticols=\dimen106 -\postmulticols=\dimen107 -\multicolsep=\skip43 -\multicolbaselineskip=\skip44 -\partial@page=\box27 -\last@line=\box28 -\maxbalancingoverflow=\dimen108 -\mult@rightbox=\box29 -\mult@grightbox=\box30 -\mult@gfirstbox=\box31 -\mult@firstbox=\box32 -\@tempa=\box33 -\@tempa=\box34 -\@tempa=\box35 -\@tempa=\box36 -\@tempa=\box37 -\@tempa=\box38 -\@tempa=\box39 -\@tempa=\box40 -\@tempa=\box41 -\@tempa=\box42 -\@tempa=\box43 -\@tempa=\box44 -\@tempa=\box45 -\@tempa=\box46 -\@tempa=\box47 -\@tempa=\box48 -\@tempa=\box49 -\c@columnbadness=\count93 -\c@finalcolumnbadness=\count94 -\last@try=\dimen109 -\multicolovershoot=\dimen110 -\multicolundershoot=\dimen111 -\mult@nat@firstbox=\box50 -\colbreak@box=\box51 -\mc@col@check@num=\count95 -) -(aliascnt.sty -Package: aliascnt 2009/09/08 v1.3 Alias counter (HO) - (remreset.sty)) -\c@chapter=\count96 -LaTeX Font Info: Redeclaring math symbol \Gamma on input line 362. -LaTeX Font Info: Redeclaring math symbol \Delta on input line 363. -LaTeX Font Info: Redeclaring math symbol \Theta on input line 364. -LaTeX Font Info: Redeclaring math symbol \Lambda on input line 365. -LaTeX Font Info: Redeclaring math symbol \Xi on input line 366. -LaTeX Font Info: Redeclaring math symbol \Pi on input line 367. -LaTeX Font Info: Redeclaring math symbol \Sigma on input line 368. -LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 369. -LaTeX Font Info: Redeclaring math symbol \Phi on input line 370. -LaTeX Font Info: Redeclaring math symbol \Psi on input line 371. -LaTeX Font Info: Redeclaring math symbol \Omega on input line 372. -\tocchpnum=\dimen112 -\tocsecnum=\dimen113 -\tocsectotal=\dimen114 -\tocsubsecnum=\dimen115 -\tocsubsectotal=\dimen116 -\tocsubsubsecnum=\dimen117 -\tocsubsubsectotal=\dimen118 -\tocparanum=\dimen119 -\tocparatotal=\dimen120 -\tocsubparanum=\dimen121 -\@tempcntc=\count97 -\fnindent=\dimen122 -\c@@inst=\count98 -\c@@auth=\count99 -\c@auco=\count100 -\instindent=\dimen123 -\authrun=\box52 -\authorrunning=\toks14 -\tocauthor=\toks15 -\titrun=\box53 -\titlerunning=\toks16 -\toctitle=\toks17 -\c@theorem=\count101 -\c@case=\count102 -\c@conjecture=\count103 -\c@corollary=\count104 -\c@definition=\count105 -\c@example=\count106 -\c@exercise=\count107 -\c@lemma=\count108 -\c@note=\count109 -\c@problem=\count110 -\c@property=\count111 -\c@proposition=\count112 -\c@question=\count113 -\c@solution=\count114 -\c@remark=\count115 -\headlineindent=\dimen124 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\tabularx.sty" -Package: tabularx 2014/10/28 v2.10 `tabularx' package (DPC) - -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\array.sty" -Package: array 2014/10/28 v2.4c Tabular extension package (FMi) -\col@sep=\dimen125 -\extrarowheight=\dimen126 -\NC@list=\toks18 -\extratabsurround=\skip45 -\backup@length=\skip46 -) -\TX@col@width=\dimen127 -\TX@old@table=\dimen128 -\TX@old@col=\dimen129 -\TX@target=\dimen130 -\TX@delta=\dimen131 -\TX@cols=\count116 -\TX@ftn=\toks19 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\booktabs\booktabs.sty" -Package: booktabs 2005/04/14 v1.61803 publication quality tables -\heavyrulewidth=\dimen132 -\lightrulewidth=\dimen133 -\cmidrulewidth=\dimen134 -\belowrulesep=\dimen135 -\belowbottomsep=\dimen136 -\aboverulesep=\dimen137 -\abovetopsep=\dimen138 -\cmidrulesep=\dimen139 -\cmidrulekern=\dimen140 -\defaultaddspace=\dimen141 -\@cmidla=\count117 -\@cmidlb=\count118 -\@aboverulesep=\dimen142 -\@belowrulesep=\dimen143 -\@thisruleclass=\count119 -\@lastruleclass=\count120 -\@thisrulewidth=\dimen144 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\multirow\multirow.sty" -\bigstrutjot=\dimen145 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ulem\ulem.sty" -\UL@box=\box54 -\UL@hyphenbox=\box55 -\UL@skip=\skip47 -\UL@hook=\toks20 -\UL@height=\dimen146 -\UL@pe=\count121 -\UL@pixel=\dimen147 -\ULC@box=\box56 -Package: ulem 2012/05/18 -\ULdepth=\dimen148 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.sty" -Package: babel 2016/01/08 3.9n The Babel package - -************************************* -* Local config file bblopts.cfg used -* -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\00miktex\bblopts.cfg" -File: bblopts.cfg 2006/07/31 v1.0 MiKTeX 'babel' configuration -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\babel-english\english.ldf" -Language: english 2012/08/20 v3.3p English support from the babel system - -("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.def" -File: babel.def 2016/01/08 3.9n Babel common definitions -\babel@savecnt=\count122 -\U@D=\dimen149 -) -\l@canadian = a dialect from \language\l@american -\l@australian = a dialect from \language\l@british -\l@newzealand = a dialect from \language\l@british -)) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics\graphicx.sty" -Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR) - -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics\keyval.sty" -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks21 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics\graphics.sty" -Package: graphics 2014/10/28 v1.0p Standard LaTeX Graphics (DPC,SPQR) - -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics\trig.sty" -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\00miktex\graphics.cfg" -File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive -) -Package graphics Info: Driver file: pdftex.def on input line 94. - -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\pdftex-def\pdftex.def" -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty" -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO) -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty" -Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count123 -)) -\Gin@req@height=\dimen150 -\Gin@req@width=\dimen151 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\listings\listings.sty" -\lst@mode=\count124 -\lst@gtempboxa=\box57 -\lst@token=\toks22 -\lst@length=\count125 -\lst@currlwidth=\dimen152 -\lst@column=\count126 -\lst@pos=\count127 -\lst@lostspace=\dimen153 -\lst@width=\dimen154 -\lst@newlines=\count128 -\lst@lineno=\count129 -\lst@maxwidth=\dimen155 - -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\listings\lstmisc.sty" -File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz) -\c@lstnumber=\count130 -\lst@skipnumbers=\count131 -\lst@framebox=\box58 -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\listings\listings.cfg" -File: listings.cfg 2015/06/04 1.6 listings configuration -)) -Package: listings 2015/06/04 1.6 (Carsten Heinz) - -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics\color.sty" -Package: color 2014/10/28 v1.1a Standard LaTeX Color (DPC) - -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\00miktex\color.cfg" -File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive -) -Package color Info: Driver file: pdftex.def on input line 142. -) -("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\preprint\balance.sty" -Package: balance 1999/02/23 4.3 (PWD) -\oldvsize=\dimen156 -) -(AADLSecPaper.aux) -\openout1 = `AADLSecPaper.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 59. -LaTeX Font Info: ... okay on input line 59. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 59. -LaTeX Font Info: ... okay on input line 59. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 59. -LaTeX Font Info: ... okay on input line 59. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 59. -LaTeX Font Info: ... okay on input line 59. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 59. -LaTeX Font Info: ... okay on input line 59. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 59. -LaTeX Font Info: ... okay on input line 59. - -("C:\Program Files (x86)\MiKTeX 2.9\tex\context\base\supp-pdf.mkii" -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count132 -\scratchdimen=\dimen157 -\scratchbox=\box59 -\nofMPsegments=\count133 -\nofMParguments=\count134 -\everyMPshowfont=\toks23 -\MPscratchCnt=\count135 -\MPscratchDim=\dimen158 -\MPnumerator=\count136 -\makeMPintoPDFobject=\count137 -\everyMPtoPDFconversion=\toks24 -) -\c@lstlisting=\count138 -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <7> on input line 83. -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <5> on input line 83. - [1 - -{C:/Users/PAW-10/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map}] -[2] -Underfull \vbox (badness 5105) has occurred while \output is active [] - - [3] -[4] [5] <./images/attackAnalysisZoom.png, id=24, 301.125pt x 345.54094pt> -File: ./images/attackAnalysisZoom.png Graphic file (type png) - - -Package pdftex.def Info: ./images/attackAnalysisZoom.png used on input line 191 -. -(pdftex.def) Requested size: 148.77475pt x 170.71652pt. - -Overfull \hbox (8.18259pt too wide) in paragraph at lines 199--201 -[]\OT1/cmr/m/n/10 Resolute is a lan-guage and tool for de-vel-op-ing ar-chi-tec --tural as-sur-ance cases [[]]. - [] - -[6] -Underfull \vbox (badness 1755) has occurred while \output is active [] - - [7 <./images/attackAnalysisZoom.png>] [8] [9] -<./images/aadl_security_framework.png, id=38, 1738.495pt x 2047.65pt> -File: ./images/aadl_security_framework.png Graphic file (type png) - - -Package pdftex.def Info: ./images/aadl_security_framework.png used on input lin -e 315. -(pdftex.def) Requested size: 144.91844pt x 170.71652pt. - [10] - -LaTeX Warning: No positions in optional float specifier. - Default added (so using `htbp') on input line 334. - -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <9> on input line 338. -LaTeX Font Info: External font `cmex10' loaded for size -(Font) <6> on input line 338. -[11 <./images/aadl_security_framework.png>] [12] [13] [14] -Missing character: There is no â in font cmr9! -Missing character: There is no € in font cmr9! -Missing character: There is no ” in font cmr9! - [15] -Overfull \hbox (46.70084pt too wide) in paragraph at lines 507--509 -[]\OT1/cmr/m/n/9 User Days - May 2016, https://github.com/saeaadl/userdays/tree -/master/UserDays/May2016 - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 515--518 -[]\OT1/cmr/m/n/9 Blouin, D.: AADL Re-quire-ments An-nex Re-view, - [] - - -Overfull \hbox (191.68878pt too wide) in paragraph at lines 515--518 -\OT1/cmr/m/n/9 http://www.aadl.info/aadl/downloads/committee/feb2013/presentati -ons/aadl[]standards[]requirements[]annex[]review[]06022013.pdf - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 525--528 -[]\OT1/cmr/m/n/9 Feiler, P.: SAE AADL Er-ror Model An-nex: An Overview, - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 525--528 -\OT1/cmr/m/n/9 https://wiki.sei.cmu.edu/aadl/images/1/13/ErrorModelOverview-Sep -t222011- - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 530--533 -[]\OT1/cmr/m/n/9 Feiler, P.: SAE AADL Er-ror Model An-nex: Dis-cus-sion Items, - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 530--533 -\OT1/cmr/m/n/9 https://wiki.sei.cmu.edu/aadl/images/1/13/ErrorModelOverview-Sep -t222011- - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 535--538 -[]\OT1/cmr/m/n/9 Larson, B.R., Chalin, P., Hat-cliff, J.: BLESS: For-mal Spec-i --fi-ca-tion - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 535--538 -\OT1/cmr/m/n/9 and Ver-i-fi-ca-tion of Be-hav-iors for Em-bed-ded Sys-tems with - Soft-ware, - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 540--543 -\OT1/cmr/m/n/9 https://github.com/saeaadl/userdays/blob/master/UserDays/May2016 -/security- - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 545--548 -[]\OT1/cmr/m/n/9 Delange, J., Nam, M., Seibel, J.: AADL Se-cu-rity Anal-y-sis T -ools, - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 545--548 -\OT1/cmr/m/n/9 https://github.com/saeaadl/userdays/blob/master/UserDays/May2016 -/security- - [] - - -Underfull \hbox (badness 6641) in paragraph at lines 560--563 -[]\OT1/cmr/m/n/9 Zetter, K.: Feds say that banned re-searcher com-man-deered a -plane, - [] - - -Underfull \hbox (badness 6141) in paragraph at lines 570--573 -[]\OT1/cmr/m/n/9 Sanders, J.: Win-dows and UEFI anti-theft mech-a-nism makes sy -s-tems - [] - - -Underfull \hbox (badness 4353) in paragraph at lines 570--573 -\OT1/cmr/m/n/9 less se-cure, http://www.techrepublic.com/article/windows-and -u -efi-anti-theft- - [] - - -Underfull \hbox (badness 3769) in paragraph at lines 575--578 -[]\OT1/cmr/m/n/9 Olorunnipa, T.: Breach of Em-ployee Data Wider Than Ini-tial R -e-port, - [] - - -Underfull \hbox (badness 1337) in paragraph at lines 575--578 -\OT1/cmr/m/n/9 U.S. Says, http://www.bloomberg.com/politics/articles/2015-06-12 -/white-house- - [] - - -Underfull \hbox (badness 6284) in paragraph at lines 585--588 -[]\OT1/cmr/m/n/9 Whittaker, Z.: Stage-fright is back, and af-fect-ing mil-lions - of An-droid - [] - - -Underfull \hbox (badness 4569) in paragraph at lines 590--593 -[]\OT1/cmr/m/n/9 Tofel, K.: HTC says monthly An-droid se-cu-rity up-dates are ` -`un-re-al-is- - [] - - -Underfull \hbox (badness 1014) in paragraph at lines 595--598 -[]\OT1/cmr/m/n/9 Jack Wallen, J.: The woes of An-droid up-dates, and how to fix - the pro- - [] - - -Underfull \hbox (badness 3364) in paragraph at lines 595--598 -\OT1/cmr/m/n/9 cess, http://www.techrepublic.com/article/the-woes-of-android-up -dates-and-how- - [] - -[16] -Underfull \hbox (badness 2875) in paragraph at lines 600--603 -\OT1/cmr/m/n/9 up-dates, http://www.techrepublic.com/article/google-and-some -a -ndroid-phone- - [] - -[17] [18] (AADLSecPaper.aux) ) -Here is how much of TeX's memory you used: - 3683 strings out of 493634 - 50215 string characters out of 3141312 - 238284 words of memory out of 3000000 - 7041 multiletter control sequences out of 15000+200000 - 7731 words of font info for 29 fonts, out of 3000000 for 9000 - 1025 hyphenation exceptions out of 8191 - 29i,14n,32p,1969b,1509s stack positions out of 5000i,500n,10000p,200000b,50000s - -Output written on AADLSecPaper.pdf (18 pages, 324976 bytes). -PDF statistics: - 92 PDF objects out of 1000 (max. 8388607) - 0 named destinations out of 1000 (max. 500000) - 11 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/AADLSecPaper.pdf b/AADLSecPaper.pdf index 8fbc7c8..08a90cd 100644 Binary files a/AADLSecPaper.pdf and b/AADLSecPaper.pdf differ diff --git a/AADLSecPaper.synctex.gz b/AADLSecPaper.synctex.gz deleted file mode 100644 index bb37f17..0000000 Binary files a/AADLSecPaper.synctex.gz and /dev/null differ diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex index 52829ce..462bdfc 100644 --- a/AADLSecPaper.tex +++ b/AADLSecPaper.tex @@ -88,7 +88,7 @@ describe model behavior and specifications, with more recent attempts to define requirements and verification. This paper examines previous implementations of behavior, requirements, and security in AADL and then goes to propose a new framework for better integration and description of security requirements and behavior within the AADL lexicon. -\keywords{security modeling, security framework} +\keywords{security modeling, security framework, secure system design} \end{abstract} \section{Introduction} @@ -399,7 +399,7 @@ concrete than a 0 to 100 scale. Requirements should be defined via a metric der represent the core elements being protected, the inherent risk of vulnerabilities associated with these elements, and the standards that must be met by a given implementation. Listing~\ref{lst:AADLUserDefineHigh} shows an example of how AADL could be used to specify security requirements. Security requirements are specified in terms of value of a service feature and impact of the feature if it was to be compromised. -It is possible that the more subjective design requirements will need more of a goal-evidence-justification style verification outline as seen in more recent work done for the Architecture Led Incremental System Assurance (ALISA) approach~\cite{ALISA2016}. +It is possible that the more subjective design requirements will need more of a goal-evidence-justification style verification outline as seen in more recent work done for the Architecture Led Incremental System Assurance (ALISA) approach~\cite{ALISA2016}. The advantage of this methodology being that one can connect requirements to other system artifacts, thus enabling requirement traceability and validation throughout the development process. Unfortunately the ALISA tool is still being developed and improved through implementation in industry examples and as an extension to existing system design models to show effectiveness~\cite{ALISA2016}. \begin{lstlisting}[caption={User-defined Higher Level Security Requirement},label={lst:AADLUserDefineHigh}] abstract implementation sysreq.wireless_sensor_i