Mobile är en förlängning av.NET Common Intermediate Language som stöder certifierade In-Lined Reference Monitoring. Mobila program har den användbara egenskapen att om de är väldefinierade med avseende på en deklarerad säkerhetspolicy, då är de garanterade att inte bryta mot denna säkerhetspolicy när de utförs. När en In-Lined Reference Monitor (IRM) uttrycks i Mobile kan den därför certifieras av en enkel typkontrollör för att eliminera behovet av att lita på tillverkaren av IRM. Säkerhetspolicyer i Mobile är deklarativa, kan omfatta obundna samlingar av objekt som tilldelats på runtime, och kan beakta oändligt lång historia av säkerhetshändelser som visas av dessa objekt. Prototypen Mobile implementation upprätthåller egenskaper uttryckta av finit-state security automata-one automaton för varje säkerhetsrelevant objekt-och kan typkontroll Mobile-program i närvaro av undantag, finalizers, concurrency och non-termination. Köra Mobila program kräver ingen ändring till befintliga.NET virtuella maskin implementationer, eftersom Mobila program består av normal hanterad CIL-kod med extra skriva kommentarer lagras i.NET attribut.
Mobile REF är en förlängning till.NET Common Intermediate Language som stöder certifierade inline referensövervakning.
Certified In-lined Reference Monitoring on .NET
{'venue': "PLAS '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}