%PDF-1.5
%
1 0 obj
<<
/Lang (en)
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
/ViewerPreferences <<
/DisplayDocTitle true
>>
>>
endobj
7 0 obj
<<
/Author (Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, and Andrea Vandin)
/CreationDate (D:20191220132401+01'00')
/Creator (LaTeX with acmart 2019/10/19 v1.65 Typesetting articles for the Association for Computing Machinery and hyperref 2012/11/06 v6.83m Hypertext links for LaTeX)
/Keywords (Variability models, graphical security models, attack-defense trees, quantitative security, statistical model checking, formal analysis tools)
/ModDate (D:20200327124451+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.16 \(TeX Live 2015\) kpathsea version 6.2.1)
/Producer (pdfTeX-1.40.16)
/Subject (- Software and its engineering -> Specification languages.Formal methods.Software product lines.Extra-functional properties.- Security and privacy -> Formal methods and theory of security.Formal security models.)
/Title (Variability meets Security)
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 4450
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, and Andrea Vandin
- Software and its engineering -> Specification languages.Formal methods.Software product lines.Extra-functional properties.- Security and privacy -> Formal methods and theory of security.Formal security models.
Variability meets Security
2019-12-20T13:24:01+01:00
LaTeX with acmart 2019/10/19 v1.65 Typesetting articles for the Association for Computing Machinery and hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
2020-03-27T12:44:51+01:00
2020-03-27T12:44:51+01:00
Variability models, graphical security models, attack-defense trees, quantitative security, statistical model checking, formal analysis tools
pdfTeX-1.40.16
False
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015) kpathsea version 6.2.1
uuid:6acaddda-a94c-40d7-ad4f-9a7c6d4eef0f
uuid:8a45cffa-a305-498a-bd56-8f2c4ddf9387
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 6
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 10
/Kids [12 0 R 13 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [14 0 R 15 0 R 16 0 R 17 0 R 18 0 R]
/Limits [(Doc-Start) (table.caption.9)]
>>
endobj
9 0 obj
<<
/Annots [19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R]
/Contents [28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 12 0 R
/Resources 36 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 37 0 R
/Next 38 0 R
/Parent 5 0 R
/Title
>>
endobj
11 0 obj
<<
/A 39 0 R
/Parent 5 0 R
/Prev 40 0 R
/Title
>>
endobj
12 0 obj
<<
/Count 7
/Kids [41 0 R 9 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 3
/Kids [47 0 R 48 0 R 49 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Kids [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R]
/Limits [(Doc-Start) (cite.survey)]
>>
endobj
15 0 obj
<<
/Kids [56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R]
/Limits [(figure.caption.10) (lstnumber.10.15)]
>>
endobj
16 0 obj
<<
/Kids [62 0 R 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R]
/Limits [(lstnumber.10.16) (lstnumber.12.6)]
>>
endobj
17 0 obj
<<
/Kids [68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R]
/Limits [(lstnumber.12.7) (lstnumber.9.1)]
>>
endobj
18 0 obj
<<
/Kids [74 0 R 75 0 R 76 0 R 77 0 R 78 0 R]
/Limits [(lstnumber.9.2) (table.caption.9)]
>>
endobj
19 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3377024.3377041)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [52.802 81.265 167.938 90.464]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (page.9)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [403.458 486.972 409.083 496.349]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3377024.3377041)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [430.668 486.972 559.381 496.349]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.foundationsAT)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [363.617 302.731 373.948 310.359]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.AT)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [376.071 302.731 386.403 310.359]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (cite.CCSHLR13)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [351.801 105.547 362.132 113.099]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/D (cite.CDLPCHSR19)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [364.365 105.471 374.697 113.099]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/D (cite.foundationsADT)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [450.992 83.629 461.324 91.181]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/D (cite.survey)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [463.513 83.629 473.844 91.181]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/Length 882
/Filter /FlateDecode
>>
stream
HTMs6WVrDAͲ3mq2iM ISKv_mKU{遃łxbqKp;|4~PQ&sKZ k%err{mYN9N*T)l~Σ[C !:F4BLHcV?eU.yy:ki`쏓DmX?ݾo1
s>p20-[AD
Uc0n6p¡ vnbo?}
IFBvPDHF),+֓ը5ci{1;Z2yPjBC{Ki!QD&r'5E~ύa$ifHſ> %K (u%>YsXu)
1\RzrV_2Z,ynstG{eroΨ{\P $`щ'~xbe 3AMFm
9pvOҴc]۹j>/ ":,i jfN2!ة2#!UY7W+U
~)$LTpVeYFTUcol {FUQd,g!m19;pNBkOFHk tN
g{힊3}Nsoje$)u 7=(uH!lyF[ClBuٟx2;oCFP9o6{jb0dw|kBFS/hӍ^zܠ7}{;U.}K` pfm
endstream
endobj
29 0 obj
<<
/Length 834
/Filter /FlateDecode
>>
stream
HtUK +9il}+uޚ[8FkepNwW9xoymЦ%KwUS&I'i?|CV0D-&2(X7/[4M^i"rvJZ͗er'5(o|>puAW4eYD';-*ק
"̢G-B*ף6F5YʘeA:T"xLдbT"
ٟB~)x:Z9;;<iBd/!/5Ixh)M-OEC4Gh!n^Ǻ)}NJ 7rFCLwPP_ +/0ZZKMޙ6Y^SM