Reducing unnecessary conservativeness in access rights analysis with string analysis

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2007, Pages 438-445

  Koganeyama, Mika ^a   Tabuchi, Naoshi ^a   Tateishi, Takaaki ^a  

^a IBM RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL POLICIES; ACCESS PERMISSIONS; ACCESS RIGHTS; ASIA PACIFIC; OPEN SOURCE LIBRARIES; OPTIMAL POLICIES; PROGRAM ANALYSIS; PROGRAM VARIABLES; RUN TIME; RUN TIME SYSTEM (RTS); SECURITY MECHANISMS; STRING ANALYSIS; SYSTEM RESOURCES;

ACCESS CONTROL; COMPUTER NETWORKS; EMBEDDED SYSTEMS; INTEGER PROGRAMMING; MECHANISMS; SECURITY SYSTEMS; SET THEORY; SOFTWARE ENGINEERING; STATIC ANALYSIS; TECHNOLOGY;

CONCURRENCY CONTROL;

EID: 44949151587     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2007.80     Document Type: Conference Paper

References (10)

1. A. S. Christensen, A. Møller, and M. I. Schwartzbach. Precise analysis of string expressions. In SAS'03: Proceedings of International Static Analysis Symposium, volume 2695 of LNCS, pages 1-18. Springer-Verlag, 2003.
2. E. G. Evans. Approximating context-free grammars with a finite-state calculus. In P. R. Cohen and W. Wahlster, editors, Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics, pages 452-459, Somerset, New Jersey, 1997. Association for Computational Linguistics.
3. Jakarta Commons IO library. http://jakarta.apache.org/commons/io/.
4. Java String Analyzer. http://www.brics.dk/JSA/.
5. L. Koved, M. Pistoia, and A. Kershenbaum. Access rights analysis for java. In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 359-372, New York, NY, USA, 2002. ACM Press.
6. Y Minamide. Static approximation of dynamically generated web pages. In WWW '05: Proceedings of the 14th international conference on World Wide Web, pages 432-441, New York, NY, USA, 2005. ACM Press.
7. M. Mohri and M.-J. Nederhof. Regular approximation of context-free grammars through transformation. In J.-C. Junqua and G. van Noord, editors, Robustness in Language and Speech Technology, pages 153-163. Kluwer Academic Publishers, Dordrecht, 2001.
8. J. H. Saltzer and M. D. Schroeder. The protection of information in computer systems. Proceedings of the IEEE, 63(9): 1278-1308, Sept. 1975.
9. SWORD4J: Software Workbench Development Environment for Java. http://www.alphaworks.ibm.com/tech/sword4j.
10. WALA: T.J. Watson Libraries for Analysis. http://wala.sourceforge.net/ wiki/index.php/Main_Page.