Can I read Rubicon: Bounded Verification of Web Applications on EtoBox?

Rubicon: Bounded Verification of Web Applications by Joseph P. Near; Daniel Jackson is a scholarly article available to read on EtoBox.

What is Rubicon: Bounded Verification of Web Applications about?

Rubicon is a verifier for web applications. Specifications are written in an embedded domain-specific language and are checked fully automatically. Rubicon is designed to fit with current practices: its language is based on RSpec, a popular testing framework, and its analysis leverages the standard Ruby interpreter to perform symbolic execution (generating verification conditions that are checked by the Alloy Analyzer). Rubicon has been evaluated on five open-source applications; in one, a widely used customer relationship management system, a previously unknown security flaw was revealed.

Author

Joseph P. Near; Daniel Jackson

Publisher

ACM

Published

2012

Language

EN