Abstract-We utforskar slutsatsen av uttrycksfulla mänskliga läsbara avklassificeringspolicyer som ett steg mot att tillhandahålla praktiska verktyg och tekniker för stark språkbaserad informationssäkerhet. Säkerhetsliknande system kan genomdriva expressiva informationssäkerhetspolicyer, men kan kräva enorma programmerare ansträngningar innan någon säkerhetsnytta realiseras. För att minska bördan på programmeraren fokuserar vi på slutsatsen av uttrycksfulla men intuitiva informations-säkerhetspolicyer från program med få programmerare annoteringar. Vi definierar ett nytt säkerhetspolitiskt språk som kan uttrycka vilken information ett program kan släppa, under vilka förhållanden (eller när) en sådan release kan förekomma, och vilka förfaranden som är involverade i releasen (eller, var i koden releasen sker). Vi beskriver en dataflödesanalys för att exakt dra slutsatsen om dessa policyer, och bygger ett verktyg som direktierar denna analys för Java programmeringsspråk. Vi validerar policys, analys och vårt genomförande genom att tillämpa verktyget på en samling enkla Java-program.
Vaughan och Chong REF infer declassification policys för Java-program.
Inference of Expressive Declassification Policies
{'venue': '2011 IEEE Symposium on Security and Privacy', 'journal': '2011 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}