Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Model-based Security Testing: An Empirical Study on OAuth 2.0 Implementations
The OAuth 2.0 Authorization Framework
Model-Based security event management
Risk-based Object Oriented Testing
Identification and Implementation of Authentication and Authorization Patterns in the Spring Security Framework
Trusted Computing Model with Attestation to Assure Security for Software Services in a Cloud Environment
Quantifying the security of preference-based authentication
Signing Me onto Your Accounts through Facebook and Google: A Traffic-Guided Security Study of Commercially Deployed Single-Sign-On Web Services
Measuring Security of Web Services in Requirement Engineering Phase
Formal Analysis of Graphical Security Models
Future directions in rolebased access control models
An Extensive Systematic Review on Model-Driven Development of Secure Systems
Static detection of second-order vulnerabilities in web applications
A security framework for the analysis and design of software attestation
Security lapses and the omission of information security measures: A threat control model and empirical test
A Comparative Evaluation of Implicit Authentication Schemes
On the (In)Security of Mobile Two-Factor Authentication
Security Issues and Future Challenges of Cloud Service Authentication
Hardening the OAuth-WebView Implementations in Android Applications by Re-Factoring the Chromium Library
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
A Comprehensive Cybersecurity Audit Model to Improve Cybersecurity Assurance: The CyberSecurity Audit Model (CSAM)
Identification of embedded mathematical formulas in PDF documents using SVM
The devil is in the (implementation) details: an empirical analysis of OAuth SSO systems
Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis
Data Management in Analytical Customer Relationship Management
Simple Process-Based Simulators for Generating Spatial Patterns of Habitat Loss and Fragmentation: A Review and Introduction to the G-RaFFe Model