Abstract | ||
---|---|---|
Model checking and security testing are two verification techniques available to help finding flaws in security-sensitive, distributed applications. In this paper, we present an approach to security testing of web-based applications in which test cases are automatically derived from counterexamples found through model checking. We illustrate our approach by discussing its application against of the SAML-based Single Sign-On for Google Apps. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/ICSTW.2010.54 | ICST Workshops |
Keywords | Field | DocType |
distributed application,google apps,test case,program testing,web-based application,model checking,verification technique,model-checking driven security testing,saml-based single sign-on,web-based applications,security-sensitive application,internet,security testing,program verification,distributed processing,security of data,system testing,protocols,logic,phase detection,authentication,authorization,web based application,application software,information security,software testing,testing,concrete,web based applications | Security testing,Model checking,Software engineering,Computer science,System testing,Information security,Test case,Web application,Application software,Database,Computer security model | Conference |
ISBN | Citations | PageRank |
978-1-4244-6773-0 | 13 | 0.73 |
References | Authors | |
13 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alessandro Armando | 1 | 1391 | 91.73 |
Roberto Carbone | 2 | 299 | 19.79 |
Luca Compagna | 3 | 586 | 33.30 |
Keqin Li | 4 | 50 | 10.35 |
Giancarlo Pellegrino | 5 | 192 | 15.98 |