Referenced Items are not available for this document.
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.
Published in:
Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on
Date of Conference: 6-10 April 2010
- Page(s):
- 361 - 370
- Print ISBN:
- 978-1-4244-6773-0
- INSPEC Accession Number:
- 11305357
- Conference Location :
- Paris
- Digital Object Identifier :
- 10.1109/ICSTW.2010.54
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
