Synthesising monitors from high-level policies for the safe execution of untrusted software

Andrew Brown, Mark Ryan

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2008
Event	4th Information Security Practice and Experience Conference (ISPEC 2008), Apr 21-23, 2008. Sydney, Australia - Duration: 1 Jan 2008 → …

Conference	4th Information Security Practice and Experience Conference (ISPEC 2008), Apr 21-23, 2008. Sydney, Australia
Period	1/01/08 → …

Cite this

@conference{bc11b5ac450745ee9ddf9ea803b53dbd,

title = "Synthesising monitors from high-level policies for the safe execution of untrusted software",

author = "Andrew Brown and Mark Ryan",

year = "2008",

month = jan,

day = "1",

language = "English",

note = "4th Information Security Practice and Experience Conference (ISPEC 2008), Apr 21-23, 2008. Sydney, Australia ; Conference date: 01-01-2008",

}