Static Verification of Code Access Security Policy Compliance of .NET Applications
暂无分享,去创建一个
[1] David Stutz,et al. Shared source CLI essentials , 2003 .
[2] Peter Mueller,et al. Reasoning About Method Calls in JML Specifications , 2005 .
[3] Marco Pistoia,et al. Access rights analysis for Java , 2002, OOPSLA '02.
[4] Jean-Louis Lanet,et al. Enforcing High-Level Security Properties for Applets , 2004, CARDIS.
[5] Martín Abadi,et al. Access Control Based on Execution History , 2003, NDSS.
[6] Andrew W. Appel,et al. SAFKASI: a security mechanism for language-based systems , 2000, TSEM.
[7] Adam Freeman,et al. Programming .Net Security , 2003 .
[8] Scott F. Smith,et al. A Systematic Approach to Static Access Control , 2001, ESOP.
[9] K. Rustan M. Leino,et al. The Spec# Programming System: An Overview , 2004, CASSIS.
[10] Cédric Fournet,et al. Stack inspection: Theory and variants , 2003, TOPL.
[11] Gian Luigi Ferrari,et al. Static Analysis for Stack Inspection , 2001, ConCoord.
[12] Andrew D. Gordon,et al. From stack inspection to access control: a security analysis for libraries , 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
[13] Dan S. Wallach,et al. Java security: Web browsers and beyond , 1997 .