Detta dokument beskriver S3MS.NET kör tid monitor, ett verktyg som kan genomdriva säkerhetspolicyer uttryckt i en mängd olika policyspråk för.NET desktop eller mobila applikationer. Verktyget består av två huvuddelar: en bytecode inliner som skriver om.NET-enheter för att infoga samtal till en policybeslutspunkt, och en policykompilator som sammanställer källpolicyer till körbara policybeslutspunkter. Verktyget stöder både enkelgängade och flertrådiga applikationer och är tillräckligt moget för att användas i verkliga applikationer. Detta dokument beskriver verktygets övergripande funktionalitet och arkitektur, diskuterar dess styrkor och svagheter samt rapporterar om vår erfarenhet av att använda verktyget för fallstudier samt i undervisningen.
Slutligen, S3MS.NET kör tid övervaka REF upprätthåller säkerhetspolitik uttryckt i en mängd olika policyspråk för.NET-program.
The S3MS.NET Run Time Monitor
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}