SEC journal No.27 - IPA 独立行政法人 情報処理推進機構
Contents
1.2.
3. SEC journal VoL7 No4 Jan 2012 5
4. 6 SEC journal VoL7 No 4 Jan 2012 ALGIRDAS2004 Algirdas Avizienis Jean Claude Laprie Brian Randell and Carl Landwehr Basic concepts and taxonomy of dependable and secure Computing IEEE Trans Dependable Secur Comput 1 1
5. IPA SEC 2008
6. 2013
7. 9 3
8. ISO 2 lt A mm
9. String String String
10. 1 Google POI Point of Interest
11. CEA LIST Rise in Abstraction CEA LIST
12. IPA SEC 1 ISO 12100 ISO 14121 IEC 61508
13. ISO ISO IEC 17011 s IV amp V 6 DER 7
14. 7 2 1 2 7 3
15. 8 7 6
16. 2011 3 TERAS 184 SEC journal Vol 7 No 4 Jan 2012 2011 11
17. IT
18. 2
19. HTML5
20. 2011 2010 SEC journal No 26 Vol 7 No3 pp 102 104 Oct 2011 IPA 2011 IPA SEC http sec ipa go jp reports 20110330 20110330 pdf Mar 2011 1 SEC 1 2 3 4 5 6 7 8 9 10 11 12 1 2 3 4 5 6 2010 2011 SEC journal Vol 7 No 4 Jan 2012 51
21. OS OS Linux OS OS
22. 3 2 Control software a Operation environment passengers pedestrians atmosphere road Physical systems 3
23. 5 SEC journal Vol7 No 4Jan 2012 Technical Explanation 5
24. a i C i te d e 4 3 1 4 7 11 1
25. 2 DSM Design Structured Matrix _ RG 7 4 2 2004 S nw 5 TERAS HP 1 SEC journal VoL7 No 4 Jan 2012 85 The Organization TERAS TERAS
26. wm wm 00 4 3 2 SL Et 9 2 V 3
27. PBL 1 PBL 2 3 PBL PBL IT
28. 2000 0 99 1 1 62 1 000 1 000 20 1 2 4 1 86
29. TERAS 29 2 TERAS 10 50 1
30. 1 2
31. 2 PMO Project Management Office 3 VDM ISO VDM SL Specification Language 4 VDM Vienna Development Method IBM 1 SEC journal Vol 7 No 4Jan 2012 Angles PBL
32. 1 1970 NTT ATR NTT NTT NTT
33. PBL
34. IPA SEC TERAS TERAS 1 2011 10 5 5F 312 6 TERAS TERAS TERAS TERAS TERAS
35. IPA20111 3 SEC
36. SATE IV Static Analysis Tool Exposition SATE e Events We choose programs with security implications Participants run tools and return reports We analyze reports Everyone share observations at a workshop Release final reports and all data later e Goals Enable empirical research based on large test sets Encourage improvement of tools Speed adoption of tools by objectively demonstrating their use on real software e NOT to choose the best tool 10 SATE 1 60 SEC journal VoL7 No 4 Jan 2012 IPA FORUM 2011 Invited Talk 7 2012 3 30 14 1
37. 5 6 Constraints Constraint capturing Constraint capturing process process Controlled object behavior Desired System behavior Control design Requirements amp onstraints capturing process Modeling Process Control algorithm Evaluation 6
38. PBL PBL 1 2 1 x Formal Methods
39. Simulink SIMULINK HP StateFlow STATEFLOW HP MBD ECU 2 7 UML 3 SysML 4
40. Pay As You Drive DVD
41. 6 000 7 000 5 6 8 000 iOS OS 1 5 6 10
42. CEA LIST 1 CEA LIST OMG 3 AUTOSAR MARTE s embedded real tme modelling language
43. 2 3 NASA 6 A Geometric Intuition FE Character Soacing Ammanon Font LD Superscript Emboss Hidden Times New Subscript Engrave Times New Roman EN 2 Trebuchet MS lkalc 14 Verdana DD od 16 Webdings lt Bold italic 18 Wide Latin Font color Undertine styie Automatic i none Eects Strietmrough Shadow Small caps ho D combinatorial testing 3 6
44. 2 1 20
45. a I 5
46. 3 1 E
47. DSM 5 A F x
48. 1 Cyber worlg a Physical world 1 CPS SEC journal No 26 SEC journal 26 2010 ATM 2010 7 2 6 ATM
49. 2 2 161 3 gt 3
50. V 4
51. 1 Securily Air charge estimation OBD eic essure from outside Reliabil Idle speed control eic Safety SS lt Fuel econom ay lt deman demands Transmission control regulations _Exhaust gas Air conditioner control etc emission control 1 Reliabil Pressure from outside NY Traffic system Eficiency Economical sysfem 4 Security _ Safety 8 of Rei demands lt eliobiliy Information system Regulations a Security Energy supply 2
52. IT Google IT LEAF CARWINGS Plugiin Remmder LEAF
53. 3 ALGIRDAS2004 GEORGIOUS2007 OMG 2010 TIM2004 WAC20041 DC 8 DC DC DC lt Dependability cases refined during development Certified documents automated automated experiences Experiments Control Model executable automated Embedded codes aulo code generation 12 DC
54. LEAF LEAF
55. IT 64 SEC BO C IPA SEC ISBN 978 4 274 50316 0 9 5 192 h
56. 6 A Hall ALL1990 SEC journal Vol7 No 4Jan 2012 8 1 Angles PBL
57. 1 MM f Gu y g Gu 1 xER u ER y x amp 1 x y 4 g x k u k 2 sg
58. 3 on 3 5 Emboss on off Engrave 4 hdden 8 Superscript Subscript 1 SEI Software Engineering Institute 2 IESE Institute for Experimental Software Engineering 3 NIST National Institute of Stan
59. 3 4 SG SG SG 5 ISO IEC 17011 Conformity assessment General requirements for accreditation bodies accrediting conformity assessment bodies 6 IV amp V Independent Verification and Validation
60. 1 1 PBL PBL 2 PBL 1 PBL PBL 2010 ARAKI2011 YAMADA2011 2011
61. VDM VDM VDM VDM
62. 2 RSU Root Stage Unit SEC journal
63. ISO 26262 1 afew many a huge number exDerts general users high sufficiently low ia By 8 weekly managed i open dynamic and diverse 0 SEC journal Vol 7 No 4 Jan 2012 1
64. JHR 2011 1 18 1103 2011 9 00 2011 9 00 2011 2 4 1104 2011 9 00 2011 22 2 28
65. 2 5 EA Ce 2 1 64 SEC journal Vol 7 No 4 Jan 2012 1 2
66. 2011 2012 PBL PBL 82 SEC journal VoL7 No 4 Jan 2012 ARAKI201 1 2011 2011 6 HALL1990 J A Hall Seven Myths of Formal Methods IEEE Software Vol 7 No 5 pp 11 19 1990 IPA SEC 1 IPA SEC 2010 2011 2010 11 IPA SEC 2 2010 7 http sec ipa go
67. PBL PBL 2 PBL 1 PBL PBL
68. 0 SEC journal VoL7 No4 Jan 2012 BOOK REVIEW Book Reviews ISBN 978 4 903908 7 4 298 1 hl 785 2011 6 j
69. PBL PBL PBL
70. PBL 3 2 PBL PBL PBL Web 4 PBL 2 PBL 5 1 4 PBL
71. 46 SEC journal VoL7 No 4 Jan 2012 1999 10 iPhone VICS Vehicle Information and Communication System ITS Intelligent Transport Systems ITS
72. 22 22 24 22 16 23 1 000 24 Ml 2011 5 20 2011 4 28 2011 6 9 1106 2011 8 45 2011 1 000 ATM ATM 26 000 4 7 Mu 2011 4 10 2011 4 9 10
73. 1 4 4
74. BMW GENIVI GENIVI GENIVI Linux J asPar AUTOSAR IT
75. CEA LIST Institute International Marketing NAHHAL Karima French Embassy in Tokyo Japan Representative ILJIC Thomas CEA LIST Institute Deputy Director APOLINARSKT Xavier Ce List URL http www list cea fr CEA LIST 1 700 PhD120 ICT amp 3
76. 1 1 18 6 15 10 2 CPS Cyber Physical Systems SEC journal Vol 7 No 4Jan 2012 63 Technical Explanation
77. 2007 PBL 1 2 1 PBL 5 PBL 1 PBL Project Based Learning SEC journal Vol 7 No 4 Jan 2012 Angles 2 3 PBL PBL PBL
78. workshop workshop IPA SEC Solely 4 19 100 OMG 6 22 System Assurance Task Force SysA SYSA1 HP SYSA2 HP 9 OMG RFI 22 Safety Assurance ISO 26262 York Tim Kelley 12 York 9
79. SEC HP URL http sec ipa go Jp reports 20110930 html SEC journal 26 2010 SEC journal No 26 Vol 7 No 3 pp 102 104 201 1 SEC HP 23 9 30 SEC PDF http sec ipa go jp reports 20110930 html SEC journal 25 SEC journal No 25 Vol 7 No 2 pp 56 58 201 1 SEC journal Vol 7 No 4Jan 2012 6 Technical Explanation SEC 2
80. 7 4 29 2012 1 12 2012 113 6591 2 28 8 16 Tel 03 5978 7543 Fax 03 5978 7517 http sec iDa gO jD IPA SEC journal H URL http sec ipa go0 jp secjournal papers html
81. 48 SEC journal Vol 7 No 4 Jan 2012
82. 3 IT IT IT IT IT IT IT IT IT SaaS
83. 2011 17 16 ATM ATM 2011 10 46 50 2011 2011 10 62 1 256 17 50 112 ATM 2011 2011 3 19 21 ATM 22
84. web SHINOZAWA2011 2 PBL 2 PM 2 a 2 PBL 8 SEC journal Vol 7 No 4 Jan 2012 PBL PMO 2 PBL
85. Google MAP Search TT SEC journal Vol 7 No 4 Jan 2012 4 2011 SEC SEC SEC journal No 26 2010 201 1 1 6 9
86. 2 PBL TERAS TERAS TERAS TERAS CEA LIST ILJIC Thomas French Embassy in Tokyo Japan Representative NAHHAL Karima CEA LIST Institute International Marketing APOLINARSKI Xavier CEA LIST Institute Deputy Director Column IPA HAL BOOK REVIEW
87. 88 SECjournal Vol 7 No 4 Jan 2012 100 1 200 2001 11 237 74 CEA LIST IT DIGITEO 2 Systematic Paris Region Cap Digital Aerospace Valley Moveo 100 12 NOE Artemis
88. 2 SEC journal Vol 7 No 4 Jan 2012 7
89. Simulink StateFlow ECU 8 11 3
90. LEAF 2 OS
91. String overflow 11 10 10 0 9 10
92. 3 way 10Cs 120 6 960 1 6 1 1 10 7 13
93. HACCP ISO 9001 2004 12 1 2011 7 1
94. NTT AT IP 2008 2 IPA IT 2009 1 SEC SEC journal Vol 7 No 4 Jan 2012 4 Interview with Heads
95. 15 2010 1 42 2010 1 2011 9 2 1 1 150 SEC journal VoL7 No 4 Jan 2012 9 7 1 5 1
96. 7 6 TERAS TERAS HP 2 pss pe A B C 3 1 2 CN I 3 1 1 2 2 ND SR a 7 TERAS HP 3 86 SEC journal VoL7 No 4 Jan 2012 1 TERAS
97. VDM PBL 3 PBL 1 3 PBL 1 _ TF kT Tn Fi 1 1 1 H N 1 a Ea x 2 1 10 1
98. 6 4 5 4 1 66 SEC journal VoL7 No 4 Jan 2012 7 1
99. SLA IPA IT IT IT IT IPA IPA 1IPA SEC SEC journal Vol 7 No 4 jan 2012 45 Interview with Heads
100. 5 PBL VDM VDM Tools VDM 5 4 PBL 2 3 Ce _ YY RU ER VDM 5 PBL 80 SEC journal VoL7 No 4 Jan 2012
101. http sec ipa go jp secjournal journal journal He No 23 SEC I NE SEC journal No 1 7 SEC journal No 27 7 4 29 vino 2012 1 12 AI ed CU UN OE LM 2 28 8 16 Tel 03 5978 7543 Fax 03 5978 7517 URL http www ipa go jp VEGETABLE fe GIL INK 70 ISSN 1349 8622
102. 3 9
103. ECU ECU SILS 5 MILS 6 HILS 7 Rapid Proto typing ECU
104. 6 2 6 3
105. 7 2011 3 6 2012 TERAS
106. 7 8 2 SATE 9 What is the SAMATE Project e Software Assurance Metrics And Tool Evaluation SAMATE It is sponsored in part by U S Department of Homeland Security CR e Current areas of concentration Web application scanners Source code static analyzers Static Analysis Tool Exposition SATE Software Reference Dataset SRD Research into software assurance and tools Software labels Malware research protocol http samate nist goV 8 SAMATE Software Labels Software should list facts like a nutrition label or material safety data sheets MS
107. ADSL LTE Long Term Evolution Google
108. SEC journal Vol 7 No 4 Jan 2012 6 Technical Explanation 6
109. 2010 3 SEC 2010 11 2011 6 7 2011 9 30
110. IPA 2011 201 1 10 27 SEC journal 3 155 3 22 24 26 SEC journal 50 AIT HAL SEC journal 50
111. 3 CoBRA PM CoBRA CoBRA CoBRA 3
112. 3 Mo hr 3 2 ME i dn 1 1 0 0 c d 4 4 41 414 3 3 31 31 4 4 2 2 2lsl4 1 2l3 4 x ol 1 2 31 24 2 oll lelelsa 1 0
113. 8 1 68 SEC journal VoL7 No 4 Jan 2012 7 7 5
114. Column http WWW iDa gO jD SEC journal No 27 2012 1 12 7 4 29 ISSN 1349 8622 145 146 150 153 155 156 163 183 188 190 191 192 IT General Manager IT 2011 SEC journal IPA FORUM 2011
115. 3 9000 ISO 14000 3
116. 2 11 5 045 473 2191 E mail secretariat mail teras Orjp URL http www teras or jp TERAS HP 1 3 http www teras Oor jp TERAS HP 2 2 TERAS http www teraSs Or jD TERAS HP 3 1 http www teraSs Or jD HP 1 http www meti go jp policy mono_info_service joho ESIR index html HP 2 http www meti go jp main yosangaisan 2012 pr pdf sangi_04 pdf HP http www maff go jp j syouan seisaku trace index html http www maff go jp j Syouan seisaku trace pdf tebiki_rev pdf 2004 2004 SEC journal Vol 7 No 4 jan 2012 8 The Organization CEA LIST
117. A 8 350rpm 1 MBD Model Based Development 2 ECU Electronic Control Unit 3 UML Unified Modeling Language 4 SysML Systems Modeling Language UML 5 SILS Software In the Loop Simulation 6 MILS Model In the Loop Simulation 7 HILS Hardware In the Loop Simulation SEC journal VoL7 No 4Jan 2012 3 Technical Explanation 3 1 2
118. SEC journal SEC journal SEC journal Vol 7 No 4Jan 2012 55 IPA FORUM 2011 IPA FORUM 2011 Invited Talk NIST ITL SSD amp SEC SEC SEI IESE 2
119. NIST 3000 DNA ITL 2 SSD 7 SSD What is NIST e U S National Institute of Standards and Technology e Anon regulatory agency in Dept of Commerce e 3 000 employees adjuncts e Facilities in Maryland and Colorado e Primarily research not funding e Over 100 years in standards and measurementSs from dental ceramics to microspheres from quantum computers to building fire codes from body armor to DNA forensics from biometrics to text retrieval 1 NIST s Software and Systems_Division 3 __Collaborations Demonstrations siPublications amp sRD wTestbeds 3 8 2 3 S 6 5 cp ME 818 3 lt
120. IPA TERAS 2 HP 2 IEC 2 2 2010 3
121. SEC journal e sec ronbun ipa gO jD SEC journal SEC journal SEC journal ta SEC journal SEC 100 50 20 SEC journal
122. 4 5 off on 1 on on off on 1 on 5 7 10 10
123. 5 7 0 2 0 6 20 4 Ee 22 2 34 2 2005 1 HP 1 2010 1 TERAS Tool Environment for Reliable and Accountable Software 3 8 1 3 7 7 11 7 58 8 2010 SEC journal Vol 7 No 4Jan 2012 183 The Organization JasPay E
124. Papyrus Eclipse UML2 CEA LIST 1 CEA LIST CEA 4 11 44 03 5798 6339 E Mail Inomas iljic snaft jp 1 CEA LIST Commissariat aTEnergie Atomique et aux Energies Alternatives Laboratoire d Integration des Systemes et des Technologies 2 IPA SEC 3 OMG Object Management Group http www Oomg Org 4 AUTOSAR AUTomotive Open System ARchitecture 5 MARTE http Www omgmarte org 6 Eclipse http www eclipse 0rg DaDyrUS SEC journal Vol 7 No 4 jan 2012 8 Column IPA
125. 1 62 SBC journal VoL7 No 4 Jan 2012 IPA FORUM 2011 Invited Talk 3 17 1 Technical Explanation SEC
126. C C JIS X 0180 2011 4 JIS SEC journal Vol 7 No 4 Jan 2012 SE journal SEC journa 201 1 012 1 1 SEC jo
127. 3 1 PBL PBL 2010 1 5 VDM 3 PBL 3 4
128. URL 2011 2 28 1105 2011 15 2011 15 10 25 38 2011 16 2011 16 11 12 ATM 44 5 700 ATM
129. HAL sg gu SEC journal 24 20 4 24 1993 25 1993 2009 50 500 800 2
130. PHP 3 2 38 IPA SEC 1 989 4 4 EE PBL
131. f on 4 a 4 4 A 8 2 g 3 8 x k 1 RT 3 x w 7
132. CARWINGS 5 6 CARWINGS CARWINGS
133. ITS FM 1Mbps FM 16kbps FM VICS DSRC Wi Fi WiMAX
134. IT General Manager SEC IT IT 1979
135. 1 0 IEEE not anumber W SQL Injectiion Example language standard Vs convention from SRD case 201 typedef struct int int_field char buf 10 my_struct int main int argc char argv my_struct S sg buf 10 A return 0 11
136. amp amp CEA LIST CEA LIST
137. 2010 NIST 3 CEA LIST 4 TPA 2011 SEC NIST IPA 2011 2011 10 27 NIST Combinatorial testing SAMATE Software assurance 3 NO DD 111INIST 1 56 SEC journal VoL7 No 4 Jan 2012 1 NIST
138. 10 Objed code Implementolion process Confrol design process 9 4 SEC journal VoL7 No 4 Jan 2012 Produclion Code development Constraints development Inplementolion Process Control design process 10 Control Model simplification Implementolion process Control design process Calibration 11 ECU 10 11
139. WDSoS 2011 MATSUNO2011 23 SysA DC Dependability cases OMG Object Management Group RFI Request for Information WDSoS Workshop on Dependable System of Systems SEC journal Vol 7 No 4Jan 2012 5 Technical Explanation 9 OMG SysA RFI 12 2012 RFI OMG
140. lt 1983 19881990 HBS MBA 1989 1990 PIRP 1983 VOD 2000 CE0 2004 LEAF PC 3rd Party 7kg
141. 1990 2010 20 564 543
142. 1 1101 2011 SEC UFJ 2011 8 00 2011 11 ATM 2 884 988 ATM 2 805 1 3 UFJ 2011 1 4 5 1102 JR 2011 il 8 23 2011 IA 9 38 COSMOS 8 0 Moto 139 8 1 200 COSMOS 600
143. 1 All Triples Take Only 13 Tests OloloO O 0o10 O Oo1093 1 1 11111 1 1 1 1 1 1KO I110 OTO1OI 1 RIlo 110T11OF1 10 0 K1 010O Ol1p1l 1lOl1Olo Koli1lolol1 0or0 110 Kolol ol1lol1 T1110 1 oki1lo rolGa ol11 o0 olo lolka 11 C00 111 0O 10 1 1 0 O 1 10 10 1 Kol1l91 1loloF1lolo 1 10 O OlO O 1O 1 1 1 oO 1 10 O lOT1 1 110 1 7 13 8 NIST 131SAMATE SAMATE
144. 1 5 2010 5 1 SEC journal 2011 2010 1 2011 1 6 6 2 2011 2011 1 6 9 1 1 No 1105 1
145. Europ Manufuture CEA LIST 30 R amp D CEA LIST OEM CEA LIST
146. SEC journal IT MN IT IT 11 2011 6 IT IT IT IT 2001 6 700 IT 200 IT IT IT IT
147. 1109 2011 4 2011 7 43 30 1 22 2011 6 16 152 SEC journal Vol 7 No 4 Jan 2012 SEC journal SEC 1 SEC journal 2009 12 201 1 6 9 4 3
148. 12 1 2 1 PBL 3 PBL ON YS Word 20 VDM ME Word 4 a ME Word 36 VDM VDM VDM VDM VDM VDM PBL PBL
149. CN I mW I ET 2012 1 12 7 4 29 ISSN 1349 8622 IOurnal jo Engineering Center I IT 01 1 SEC journal IPA FORUM 2011 EE PBL TERAS CEA LIST
150. Dependability Certification Analysis Document Generation Dependabil God Demi Requirements Control design process Minimum discrete events Shifs Maps Argument Construction Implementation process Auto Code Gen Colibration amp Verification amp Validation 13 OMG2010 12 automated 11 13 2010 9 OMG 9 OMG CEO Richard Mark Solely OMG OMG
151. 1107 2011 10 14 65 000 ATM 2011 11 36 2011 4 25 1108 NTT 2011 8 27 2011 21 36 172 RNGNI N ND NTT 2011 6 14 2011 721
152. 7 4 Il 1 V 1 1 6 7 a b 4 4 i
153. Google KML Google 30 1 5 1 LEAF
154. SQL Command Injection Scripting weakness Input Validation 1Improper Input Validation 151Software assurance 12 3 Source Of Software ASSurance e Quality of development process D e assessed quality of software S and e execution resilience e e Mathematically A f p s where A is assurance of software function
155. 2 PBL 38 19 17 26 100 6 HALL1990 PBL PBL IPA SEC 2
156. 7 DER Designated Engineering Representative FAA Federal Aviation Administration SEC journal Vol 7 No 4 Jan 2012 65 Technical Explanation 4 6 1
157. lt 3 s mm 6 a Software Assurance Testing Semantics IModelind Algorithms SimulationI Data InformatiomKnowledqe AnalytiCs FOUNDATIONS FOUNDATIONS 2 SSD amp 121Combinatorial testing
158. 11 33 January 2004 GEORGIOUS2007 Georgious Despotou Managing the Evolution of Dependability Cases for Systems of Systems PhD thesis Department of Computer Science University of York 2007 GSN2010 GSN contributors DRAFT GSN standard version 1 0 2010 ISO 26262 ISO 26262 road vehicle functional safety part 1 to part 10 Technical report 2010 MATSUNO201 1 Matsuno Taguchi et al Iterative and Simultaneous Development of Embedded Control Software and Dependability Cases for Consumer Devices WDSoS1 1 OMG2010 OMG Argument metamodel ARM OMG Document Number Sysa 10 03 15 RAILTRACK2000 Railtrack Yellow book 3 Engineering Safety Management Issue3 Vol 1 Vol 2 2000 SIMULINK HP http www mathworks co jp products simulink STATEFLOW HP http www mathworks cO jD Dproduocts stateflow SYSA1 HP http www omg org news meetings tc agendas ut SysA_info_day htm SYSA2 HP http sysa omg org TIM2004 Tim Kelley and Rob Weaver The goal structuring notation a safety argument notation In Proc of the Dependable Systems and Networks 2004 Workshop on Assurance Cases 2004 WAC2004 Workshop on Assurance Cases Best PracticeSs Possible Obstacles and Future Opportunities DSN 2004 2004 PBL WG
159. jp reports 20100729 html SHINOZAWA201 1 2011 pp 9 12 2011 9 YAMADA2011 Shinya Yamada et al An Introduction of a Formal Method in PBL A Case Report Joint Workshop on Software Science and Engineering Seoul June 2011 The Organization TERAS TERAS TERAS TERAS RAS URL http www teras or jp IEC 61508 ISO 26262
160. 1 800 010 7
161. 12 SEC journal Vol 7 No 4 Jan 2012 6 IPA FORUM 2011 p s e
162. 3 E CoBRA PA MA 11 FE lt 27 IPA T ifW lt N ww ha 2 EE 54 SEC journ al Vol 7 No 4 Jan 2012 SEC journal SEC journal SEC journal
163. DS Like food it does not say everything about the software but gives key content e g9 ls default installation secure Accessed network disk 5 Certificates e One step toward market for better software e Cautions labels may Give false confidence Shut out better software or Ei Divert effort from real improvements s https www aspectsecurity com 3 9 8 http csrc nist gov 9 SATE Static Analysis Tool Exposition SEC journal Vol 7 No 4 Jan 2012 5 IPA FORUM 2011 SATE 10 SATE NIST
164. dards and Technology 4 CEA LIST Commissariat a TEnergie Atomique et aux Energies Alternatives Laboratoire d Integration des Systemes et des Technologies 5 SAMATE Software Assurance Metrics And Tool Evaluation 6 ITL Information Technology Laboratory 7 SSD Software and Systems Division amp SEC journal Vol 7 No 4 Jan 2012 5 IPA FORUM 2011 Invited Talk IPA FORUM 2011 Why A Geometric Intuition Emboss A Engrave Superscript Hidden A subscrpt or ed Engraye on Hidden cf or on ed Subscript lt PerSCripl 4 Naive Test Approach is Sparse e Test all off all on each one on 7 tests total 5 How Many Tests Does it Take e There ee 120 3 way interactionSs e Naively 120 x 2 960 tests e But each test exercises many triples me 0001110101 We can pack many triples in one test so what s the smallest number of tests we need 6 58 SECjournal Vol 7 No 4 Jan 2012
165. urnal 93 10 IPA SEC FAX SEC e mail sec journal_customer ipa go jp 50
Download Pdf Manuals
Related Search