SML tutorial

SML tutorial - SML Tutorial Wal Hassan University of Ottawa...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
SML Tutorial Waël Hassan University of Ottawa wael@acm.org © 2009
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
what is SML? silver A formal interface language that assists security model designers to create Alloy models SML is relational, it includes patterns to speciFc to security SML is compact, can be used for quick prototyping, yet learning SML does not preclude a designer from learning Alloy
Background image of page 2
Silver Silver is type of an Alloy
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Designing Secrecy model A secrecy model can be represented using a set of classes and relations Flat Access model, for example, proposes three classes: Subjects, Actions or Verbs, and objects can be represented using three classes with two relations S V O
Background image of page 4
SVO Model Classes: Subject, Verb, Object Relations: A subject can perform a verb A verb operates over an object
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
SVO in SML Classes ( subject,verb,object ) Relation ( subject,verb,perform,some ) Relation ( verb,object,over,some )
Background image of page 6
Defne non - instantiated classes AbastractClasses ( Class
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 15

SML tutorial - SML Tutorial Wal Hassan University of Ottawa...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online