Titel

Merkliste
1 Ergebnisse

S3 : A Symbolic String Solver for Vulnerability Detectio..:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,

Trinh, Minh-Thai ; Chu, Duc-Hiep ; Jaffar, Joxan - p. 1232-1243 , 2014

Link: https://dl.acm.org/doi/10.1145/2660267.2660372

RT 
T1 <cTitle>Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security</cTitle>: T1 <Title>S3				: A Symbolic String Solver for Vulnerability Detection in Web Applications</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2660372&Exemplar=1&LAN=DE
				
A1 Trinh, Minh-Thai
A1 Chu, Duc-Hiep
A1 Jaffar, Joxan
PB ACM
YR 2014
K1 string analysis
K1 string constraint solver
K1 web applications
K1 Security and privacy
K1 Systems security
K1 Operating systems security
K1 General and reference
K1 Cross-computing tools and techniques
K1 Verification
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Abstraction
K1 Software defect analysis
K1 Software testing and debugging
K1 Models of computation
K1 Abstract machines
SP 1232
OP 1243
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2660267.2660372
DO https://dl.acm.org/doi/10.1145/2660267.2660372
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)