Difference between revisions of "ADVISE Meta Workshop 2016"
From Mobius Wiki
(→Agenda) |
(→Agenda) |
||
| Line 56: | Line 56: | ||
<td>2:15pm – 2:30pm</td><td class="italic">Break</td> | <td>2:15pm – 2:30pm</td><td class="italic">Break</td> | ||
</tr><tr> | </tr><tr> | ||
| − | <td>2:30pm – 3: | + | <td>2:30pm – 3:30pm</td><td>Hands-On Session – Results</td> |
</tr><tr> | </tr><tr> | ||
| − | <td>3: | + | <td>3:30pm – 4:15pm</td><td>Building Ontology Libraries</td> |
</tr><tr> | </tr><tr> | ||
| − | <td> | + | <td>4:15pm – 4:30pm</td><td>River Zonal Dispatcher Case Study</td> |
</tr><tr> | </tr><tr> | ||
| − | <td>4: | + | <td>4:30pm – 4:45pm</td><td>Advanced Metering Infrastructure Case Study</td> |
</tr><tr> | </tr><tr> | ||
<td>4:45pm – 5:00pm</td><td>Wrap Up</td> | <td>4:45pm – 5:00pm</td><td>Wrap Up</td> | ||
Revision as of 15:48, 10 August 2016
Contents
Agenda
Tuesday, August 16th – Alma Mater Room – Illini Center – 200 South Wacker Drive, Chicago, IL
| 9:00am – 9:15am | Registration and Continental Breakfast |
| 9:15am – 9:45am | Introduction
|
| 9:45am – 10:45am | Hands-On Session – System Diagrams |
| 10:45am – 11:00am | Break |
| 11:00am – 11:45am | Hands-On Session – Goal Definitions |
| 11:45pm – 12:45pm | Lunch |
| 12:45pm – 1:30pm | Hands-On Session – Adversaries |
| 1:30pm – 2:15pm | Hands-On Session – Metrics |
| 2:15pm – 2:30pm | Break |
| 2:30pm – 3:30pm | Hands-On Session – Results |
| 3:30pm – 4:15pm | Building Ontology Libraries |
| 4:15pm – 4:30pm | River Zonal Dispatcher Case Study |
| 4:30pm – 4:45pm | Advanced Metering Infrastructure Case Study |
| 4:45pm – 5:00pm | Wrap Up |
Getting Started
- Install the prerequisites and the alpha tool.
- Try the tutorials:
- The primary tutorial uses an existing core ontology to develop a metamodel.
- The secondary tutorial introduces how to use the ontology creation features of ADVISE Meta.
Materials
- Slides (PDF)
- Primary Tutorial Ontology
- Agenda
- Papers:
- ADVISE Thesis Elizabeth LeMay's doctoral thesis.
- State-Based Analysis in ADVISE, published in QEST 2012.
- Implementing the ADVISE Security Modeling Formalism in Mobius published in DSN 2013
- Model-based Security Metrics using ADversary VIew Security Evaluation (ADVISE), published in QEST 2011.
- Adversary-Driven State-Based System Security Evaluation, published in MetriSec 2010.
- A Generalized Adversary Decision Algorithm and Analytic Solution Methods for ADVISE Models, Master's Thesis 2012.
