SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6015 LNCS, Issue , 2010, Pages 154-157

Stranger: An automata-based string analysis tool for PHP

(3) Yu, Fang a Alkhalaf, Muath a Bultan, Tevfik a

a University of California (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACKWARD REACHABILITY; PROGRAM EXECUTION; SECURITY VULNERABILITIES; STRING ANALYSIS; VULNERABILITY SIGNATURE; FORWARD-AND-BACKWARD;

NETWORK SECURITY; TRANSLATION (LANGUAGES);

COMPUTER SOFTWARE; AUTOMATA THEORY;

EID: 77951574421 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-642-12002-2_13 Document Type: Conference Paper

Times cited : (117)

References (9)

1
- 35048877250
- Widening arithmetic automata
- Alur, R., Peled, D.A. (eds.) CAV 2004. Springer, Heidelberg
- Bartzis, C., Bultan, T.: Widening arithmetic automata. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 321-333. Springer, Heidelberg (2004)
- (2004) LNCS , vol.3114 , pp. 321-333
- Bartzis, C.¹ Bultan, T.²

2
- 84945934470
- BRICS. The MONA project, http://www.brics.dk/mona/
- The MONA Project

3
- 35248891044
- Precise Analysis of String Expressions
- Static Analysis
- Christensen, A., Møller, A., Schwartzbach, M.: Precise analysis of string expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 1-18. Springer, Heidelberg (2003) (Pubitemid 36769242)
- (2003) LECTURE NOTES in COMPUTER SCIENCE , Issue.2694 , pp. 1-18
- Christensen, A.S.¹ Moller, A.² Schwartzbach, M.I.³

4
- 33751027156
- Pixy: A static analysis tool for detecting web application vulnerabilities (Short paper)
- DOI 10.1109/SP.2006.29, 1624016, Proceedings - 2006 IEEE Symposium on Security and Privacy, S+P 2006
- Jovanovic, N., Krügel, C., Kirda, E.: Pixy: A static analysis tool for detecting web application vulnerabilities (short paper). In: S&P, pp. 258-263 (2006) (Pubitemid 44753727)
- (2006) Proceedings - IEEE Symposium on Security and Privacy , vol.2006 , pp. 258-263
- Jovanovic, N.¹ Kruegel, C.² Kirda, E.³

5
- 33749823368
- WWW
- Minamide, Y.: Static approximation of dynamically generated web pages. In:WWW, pp. 432-441 (2005)
- (2005) Static Approximation of Dynamically Generated Web Pages , pp. 432-441
- Minamide, Y.¹

6
- 77951541879
- Top ten project May
- OWASP. Top ten project (May 2007), http://www.owasp.org/
- (2007)

7
- 35449004893
- Sound and precise analysis of web applications for injection vulnerabilities
- DOI 10.1145/1250734.1250739, PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation
- Wassermann, G., Su, Z.: Sound and precise analysis of web applications for injection vulnerabilities. In: PLDI, pp. 32-41 (2007) (Pubitemid 47630673)
- (2007) Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , pp. 32-41
- Wassermann, G.¹ Su, Z.²

8
- 77952112519
- ASE
- Yu, F., Alkhalaf, M., Bultan, T.: Generating vulnerability signatures for string manipulating programs using automata-based forward and backward symbolic analyses. In: ASE (2009)
- (2009) Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses
- Yu, F.¹ Alkhalaf, M.² Bultan, T.³

9
- 54249102273
- Symbolic string verification: An automata-based approach
- Havelund, K., Majumdar, R., Palsberg, J. (eds.) SPIN 2008. Springer, Heidelberg
- Yu, F., Bultan, T., Cova, M., Ibarra, O.H.: Symbolic string verification: An automata-based approach. In: Havelund, K., Majumdar, R., Palsberg, J. (eds.) SPIN 2008. LNCS, vol. 5156, pp. 306-324. Springer, Heidelberg (2008)
- (2008) LNCS , vol.5156 , pp. 306-324
- Yu, F.¹ Bultan, T.² Cova, M.³ Ibarra, O.H.⁴

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.