Modular string-sensitive permission analysis with demand-driven precision - Geay, Emmanuel; Pistoia, Marco; Takaaki Tateishi; Ryder, Barbara G.; Dolby, Julian (2009 IEEE 31st International Conference on Software Engineering, 2009)
Keywords: Algorithm design and analysis; Authorization; General and reference -- Cross-computing tools and techniques -- Reliability; Inspection; Java; Laboratories; Permission; Prototypes; Runtime environment; Security; Software and its engineering -- Software notations and tools; Software and its engineering -- Software organization and properties -- Extra-functional properties -- Software reliability; Testing