Difference between revisions of "ADVISE Meta Workshop 2016"
From Mobius Wiki
(→Materials) |
|||
Line 23: | Line 23: | ||
} | } | ||
}} | }} | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
= Agenda = | = Agenda = | ||
Line 77: | Line 67: | ||
</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 = | ||
Line 89: | Line 89: | ||
** [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/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. | ** [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. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 15:44, 1 August 2016
Contents
Agenda
Download PDF Agenda
Tuesday, August 16th – Alma Mater Room – Illini Center, 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:15pm | Hands-On Session – Results |
3:15pm – 3:45pm | Building Ontology Libraries |
3:45pm – 4:15pm | River Zonal Dispatcher Case Study |
4:15pm – 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)
- 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.