Typed-based verification of Web sandboxes.

Joe Gibbs Politz Arjun Guha Shriram Krishnamurthi

Published in: J. Comput. Secur. (2014)

Keyphrases

website
web applications
web documents
web data
semantic web
information sources
web pages
web resources
linked data
web technologies
case study
end users
web users
web content
web scale
data sets
user interaction
higher order
artificial intelligence
genetic algorithm