diff --git a/AADLSecPaper.aux b/AADLSecPaper.aux new file mode 100644 index 0000000..53e08ae --- /dev/null +++ b/AADLSecPaper.aux @@ -0,0 +1,132 @@ +\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 new file mode 100644 index 0000000..af0acf3 --- /dev/null +++ b/AADLSecPaper.log @@ -0,0 +1,507 @@ +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 5cb1d1e..8fbc7c8 100644 Binary files a/AADLSecPaper.pdf and b/AADLSecPaper.pdf differ diff --git a/AADLSecPaper.synctex.gz b/AADLSecPaper.synctex.gz new file mode 100644 index 0000000..bb37f17 Binary files /dev/null and b/AADLSecPaper.synctex.gz differ diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex index 487c0a9..52829ce 100644 --- a/AADLSecPaper.tex +++ b/AADLSecPaper.tex @@ -72,7 +72,7 @@ %\tocauthor{Ivar Ekeland, Roger Temam, Jeffrey Dean, David Grove, %Craig Chambers, Kim B. Bruce, and Elisa Bertino} % -\institute{University of Connecticut, Storrs CT 06269, USA}%\\ +%\institute{University of Connecticut, Storrs CT 06269, USA}%\\ %\email{I.Ekeland@princeton.edu},\\ WWW home page: %\texttt{http://users/\homedir iekeland/web/welcome.html} %\and