ITTChapter_03_Slides

ITTChapter_03_Slides - 8/30/2010 Chapter 3: Foundational...

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

View Full Document Right Arrow Icon
8/30/2010 1 Chapter 3: Foundational Results Overview • Overview • Harrison-Ruzzo-Ullman result – Corollaries Slide #3-1 Overview Safety Question • Safety Question • HRU Model Slide #3-2
Background image of page 1

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

View Full DocumentRight Arrow Icon
8/30/2010 2 What Is “Secure”? Adding a generic right where there was • Adding a generic right r where there was not one is “leaking” • If a system S , beginning in initial state s 0 , cannot leak right r , it is safe with respect to the right r . Slide #3-3 Safety Question Does there exist an algorithm for • Does there exist an algorithm for determining whether a protection system S with initial state s 0 is safe with respect to a generic right r ? – Here, “safe” = “secure” for an abstract model Slide #3-4
Background image of page 2
8/30/2010 3 Mono-Operational Commands Answer: ye • Answer: yes • Sketch of proof: Consider minimal sequence of commands c 1 , …, c k to leak the right. – Can omit delete , destroy Can merge all creat s into on Slide #3-5 – Can merge all create s into one Worst case: insert every right into every entry;
Background image of page 3

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

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

Page1 / 7

ITTChapter_03_Slides - 8/30/2010 Chapter 3: Foundational...

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

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