Difference between revisions of "ADVISE Meta Workshop 2016"
From Mobius Wiki
(→Materials) |
|||
| (20 intermediate revisions by 2 users not shown) | |||
| Line 24: | Line 24: | ||
}} | }} | ||
| − | = | + | = Logistics = |
| + | |||
| + | Date: August 16, 2016 | ||
| + | |||
| + | Time: 9:00 am - 5:00 pm | ||
| + | |||
| + | Location: Alma Mater room at the Illini Center, located at 200 South Wacker Drive, Chicago, IL - [https://goo.gl/maps/62rW3C49Sh32 https://goo.gl/maps/62rW3C49Sh32] | ||
| − | + | Materials: Please bring a Windows, Mac OS X, or Ubuntu Linux laptop with you. | |
| − | + | Preparations: Please complete [[ADVISE_Meta_Alpha_Workshop_Install_Steps|steps to download and install the alpha tool]]. | |
| − | |||
| − | |||
| − | |||
| − | |||
= Agenda = | = Agenda = | ||
| − | < | + | <p style="font-weight:bold; font-size: 20px;">[[Media:AdviseMetaAgenda.pdf|Download PDF Agenda]]</p> |
| − | <h2 class="no-bottom-border">Tuesday, August 16th – Alma Mater Room – Illini Center, Chicago, IL</h2> | + | <h2 class="no-bottom-border">Tuesday, August 16th – Alma Mater Room – Illini Center – 200 South Wacker Drive, Chicago, IL</h2> |
<table id="agenda"> | <table id="agenda"> | ||
| Line 46: | Line 48: | ||
<td>9:15am – 9:45am</td> | <td>9:15am – 9:45am</td> | ||
<td>Introduction | <td>Introduction | ||
| − | <ul><li> | + | <ul><li>Welcome</li> |
| − | <li> | + | <li>Goals for Tool and Workshop</li> |
| − | <li> | + | <li>Install and Ontology Overview</li> |
| + | <li>Sample Problem Description for Hands-On Sessions</li> | ||
</ul></td> | </ul></td> | ||
</tr><tr> | </tr><tr> | ||
| Line 62: | Line 65: | ||
<td>12:45pm – 1:30pm</td><td>Hands-On Session – Adversaries</td> | <td>12:45pm – 1:30pm</td><td>Hands-On Session – Adversaries</td> | ||
</tr><tr> | </tr><tr> | ||
| − | <td>1:30pm – 2: | + | <td>1:30pm – 2:00pm</td><td>Hands-On Session – Metrics</td> |
</tr><tr> | </tr><tr> | ||
| − | <td>2: | + | <td>2:00pm – 2:15pm</td><td class="italic">Break</td> |
</tr><tr> | </tr><tr> | ||
| − | <td>2: | + | <td>2:15pm – 3:15pm</td><td>Hands-On Session – Results</td> |
</tr><tr> | </tr><tr> | ||
| − | <td>3:15pm – | + | <td>3:15pm – 4:00pm</td><td>Advanced Ontology: Selected Details and Customization</td> |
</tr><tr> | </tr><tr> | ||
| − | <td> | + | <td>4:00pm – 4:20pm</td><td>River Zonal Dispatcher Case Study</td> |
</tr><tr> | </tr><tr> | ||
| − | <td>4: | + | <td>4:20pm – 4:40pm</td><td>Advanced Metering Infrastructure Case Study</td> |
</tr><tr> | </tr><tr> | ||
| − | <td>4: | + | <td>4:40pm – 5:00pm</td><td>Wrap Up</td> |
</tr> | </tr> | ||
</table> | </table> | ||
| + | |||
| + | = Getting Started = | ||
| + | |||
| + | * Install [[ADVISE Meta Alpha Workshop Install Steps|the prerequisites and the alpha tool]]. | ||
| + | * Try the tutorials: | ||
| + | ** The [[ADVISE Meta Alpha Tutorial|primary tutorial]] uses an existing core ontology to develop a metamodel. | ||
| + | ** The [[ADVISE Meta Two Nets Tutorial|secondary tutorial]] introduces how to use the ontology creation features of ADVISE Meta. | ||
= Materials = | = Materials = | ||
* [[Media:Advise-meta-workshop.pptx|Slides]] ([[Media:Advise-meta-workshop.pdf|PDF]]) | * [[Media:Advise-meta-workshop.pptx|Slides]] ([[Media:Advise-meta-workshop.pdf|PDF]]) | ||
| + | * [[Media:ADVISEMetaTutorial-complete20160815.tar.gz|Completed Project Archive]] | ||
| + | * [[Media:MetaAlphaOntology.xml|Primary Tutorial Ontology]] | ||
* [[Media:AdviseMetaAgenda.pdf|Agenda]] | * [[Media:AdviseMetaAgenda.pdf|Agenda]] | ||
* Papers: | * Papers: | ||
| − | ** | + | ** [https://www.perform.illinois.edu/Papers/USAN_papers/11LEM02.pdf ADVISE Thesis] Elizabeth LeMay's doctoral thesis. |
| − | ** | + | ** [https://www.perform.illinois.edu/Papers/USAN_papers/12FOR01.pdf State-Based Analysis in ADVISE], published in QEST 2012. |
| − | ** | + | ** [https://www.perform.illinois.edu/Papers/USAN_papers/12FOR04.pdf Implementing the ADVISE Security Modeling Formalism in Mobius] published in DSN 2013 |
| − | + | ** [https://www.perform.illinois.edu/Papers/USAN_papers/11LEM01.pdf Model-based Security Metrics using ADversary VIew Security Evaluation (ADVISE)], published in QEST 2011. | |
| − | + | ** [https://www.perform.illinois.edu/Papers/USAN_papers/10VAN02.pdf Adversary-Driven State-Based System Security Evaluation], published in MetriSec 2010. | |
| − | + | ** [https://www.perform.illinois.edu/Papers/USAN_papers/12FOR03.pdf A Generalized Adversary Decision Algorithm and Analytic Solution Methods for ADVISE Models], Master's Thesis 2012. | |
| − | |||
Latest revision as of 03:24, 16 August 2016
Contents
Logistics
Date: August 16, 2016
Time: 9:00 am - 5:00 pm
Location: Alma Mater room at the Illini Center, located at 200 South Wacker Drive, Chicago, IL - https://goo.gl/maps/62rW3C49Sh32
Materials: Please bring a Windows, Mac OS X, or Ubuntu Linux laptop with you.
Preparations: Please complete steps to download and install the alpha tool.
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:00pm | Hands-On Session – Metrics |
| 2:00pm – 2:15pm | Break |
| 2:15pm – 3:15pm | Hands-On Session – Results |
| 3:15pm – 4:00pm | Advanced Ontology: Selected Details and Customization |
| 4:00pm – 4:20pm | River Zonal Dispatcher Case Study |
| 4:20pm – 4:40pm | Advanced Metering Infrastructure Case Study |
| 4:40pm – 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)
- Completed Project Archive
- 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.
