ICS 355:
Introduction
Dusko Pavlovic
Covert
Interference
Definition
Examples
Possibilistic
Probabilistic
Quantifying
Lesson
Example 2
Fortress gate breach with Trojan horse
◮ Q = {gate, city, jail,
prep, kill}
◮ L = {visitor < guard,
visitor < soldier <
Ulysses}
◮ Iv = {v:mer, v:wep}
◮ Ig = {g:next}
◮ Is = {s:mer, s:extr(mer),
s:wep, s:troj(wep)}
◮ IU = {U:call}
◮ O = {mer, wep, 0, reset,
◮ θ :
gate
jail
v:w
ep/0
g:next/reset
g:next/reset
v:m
er/m
er
city
U:call/attack
kill
prep
v:mer/mer
s:extr(mer)/wep
s:troj(wep)/mer
U:call/reset