2013 · 15 citations · 43 references
ComputingComputer ScienceCybersecurityComputer SecuritySecurity PolicyWeb SecurityAccess ControlAuthorizationBrowser SecurityClient-side SecurityServer-side SecurityWeb Application SecurityFormal Methods For SecurityFormal Security AnalysisFormal Security VerificationPrincipalsSecurity Policy CompatibilitySecurity Property VerificationSession Integrity VerificationWeb 2.0
With the advent of Web 2.0, web developers have designed multiple additions to break SOP boundary, such as splitting and combining traditional web browser protection boundaries (security principals). However, these newly generated principals lack a new label to represent its security property. To address the inconsistent label problem, this paper proposes a new way to define a security principal and its labels in the browser. In particular, we propose a Configurable Origin Policy (COP), in which a browser's security principal is defined by a configurable ID rather than a fixed triple <;scheme, host, port>. The server-side and client-side code of a web application can create, join, and destroy its own principals. We perform a formal security analysis on COP to ensure session integrity. Then we also show that COP is compatible with legacy web sites, and those sites utilizing COP are also compatible with legacy browsers.
43
Pattern Recognition and Machine Learning
Kybernetes · 2007 · 8.4K citations
Snort - Lightweight Intrusion Detection for Networks
Martin Roesch · 1999 · 3.1K citations
Software abstractions: logic, language and analysis
Choice Reviews Online · 2007 · 1.5K citations
Rachna Dhamija, J. D. Tygar, Marti A. Hearst · 2006 · 1.3K citations