On the public citation graph

An advanced approach for modeling and detecting software vulnerabilities

https://doi.org/10.1016/j.infsof.2012.03.004

0 signed · 71 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11556992_32openalex-snapshot

Evaluating Access Control Policies Through Model Checking

inferredcites →https://doi.org/10.1007/11734727_17openalex-snapshot

Foundations of Attack Trees

inferredcites →https://doi.org/10.1007/11901433_32openalex-snapshot

An Open Extensible Tool Environment for Event-B

inferredcites →https://doi.org/10.1007/3-540-45800-x_33openalex-snapshot

SecureUML: A UML-Based Modeling Language for Model-Driven Security

inferredcites →https://doi.org/10.1007/978-3-540-30232-2_10openalex-snapshot

Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach

inferredcites →https://doi.org/10.1007/b100576openalex-snapshot

Formal Techniques for Networked and Distributed Systems – FORTE 2004

inferredcites →https://doi.org/10.1007/b137120openalex-snapshot

Information Security and Cryptology – ICISC 2004

inferredcites →https://doi.org/10.1007/b137706openalex-snapshot

Secure Systems Development with UML

inferredcites →https://doi.org/10.1007/s00766-004-0194-4openalex-snapshot

Eliciting security requirements with misuse cases

inferredcites →https://doi.org/10.1007/s10207-004-0055-7openalex-snapshot

OFMC: A symbolic model checker for security protocols

inferredcites →https://doi.org/10.1007/s10207-007-0041-yopenalex-snapshot

SAT-based model-checking for security protocols analysis

inferredcites →https://doi.org/10.1016/j.comnet.2004.09.009openalex-snapshot

A passive testing approach based on invariants: application to the WAP

inferredcites →https://doi.org/10.1016/j.entcs.2005.11.052openalex-snapshot

Automated Security Protocol Analysis With the AVISPA Tool

inferredcites →https://doi.org/10.1016/j.istr.2008.02.003openalex-snapshot

Dynamic taint propagation: Finding vulnerabilities without attacking

inferredcites →https://doi.org/10.1016/j.scico.2007.01.015openalex-snapshot

The Daikon system for dynamic detection of likely invariants

inferredcites →https://doi.org/10.1016/s0950-5849(03)00063-6openalex-snapshot

New approaches for passive testing using an Extended Finite State Machine specification

inferredcites →https://doi.org/10.1016/s0950-5849(99)00039-7openalex-snapshot

Passive testing and application to the GSM-MAP protocol

inferredcites →https://doi.org/10.1023/b:agnt.0000018806.20944.efopenalex-snapshot

Tropos: An Agent-Oriented Software Development Methodology

inferredcites →https://doi.org/10.1093/nar/gkl320openalex-snapshot

Taverna: a tool for building and running workflows of services

inferredcites →https://doi.org/10.1109/69.43410openalex-snapshot

What you always wanted to know about Datalog (and never dared to ask)

inferredcites →https://doi.org/10.1109/acsac.2000openalex-snapshot

Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00)

inferredcites →https://doi.org/10.1109/apsec.2003.1254403openalex-snapshot

Security-critical system development with extended use cases

inferredcites →https://doi.org/10.1109/ares.2007.67openalex-snapshot

Design of a Process for Software Security

inferredcites →https://doi.org/10.1109/ares.2008.12openalex-snapshot

A Cause-Based Approach to Preventing Software Vulnerabilities

inferredcites →https://doi.org/10.1109/csac.1999.816013openalex-snapshot

Using abuse case models for security requirements analysis

inferredcites →https://doi.org/10.1109/ds-rt.2008.43openalex-snapshot

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

inferredcites →https://doi.org/10.1109/ds-rt13195.2007openalex-snapshot

11th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'07)

inferredcites →https://doi.org/10.1109/glocom.2008.ecp.400openalex-snapshot

Security Rules Specification and Analysis Based on Passive Testing

inferredcites →https://doi.org/10.1109/hase.2008.57openalex-snapshot

Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection

inferredcites →https://doi.org/10.1109/icniconsmcl.2006.50openalex-snapshot

An Enhanced Passive Testing Approach for Network Protocols

inferredcites →https://doi.org/10.1109/icnp.1996.564870openalex-snapshot

Proceedings of 1996 International Conference on Network Protocols (ICNP-96)

inferredcites →https://doi.org/10.1109/icnp.1997.643699openalex-snapshot

Passive testing and applications to network management

inferredcites →https://doi.org/10.1109/icsm.2003.1235399openalex-snapshot

Proceedings International Conference on Software Maintenance ICSM 2003

inferredcites →https://doi.org/10.1109/icsm.2006.40openalex-snapshot

Modeling Software VulnerabilitiesWith Vulnerability Cause Graphs

inferredcites →https://doi.org/10.1109/mc.2004.172openalex-snapshot

Meaningful modeling: what's the semantics of "semantics"?

inferredcites →https://doi.org/10.1109/ms.2008.109openalex-snapshot

Automating Software Testing Using Program Analysis

inferredcites →https://doi.org/10.1109/msecp.2003.1176996openalex-snapshot

Inside the Windows security push

inferredcites →https://doi.org/10.1109/msp.2005.3openalex-snapshot

Application penetration testing

inferredcites →https://doi.org/10.1109/pst.2008.21openalex-snapshot

Model-Checking for Software Vulnerabilities Detection with Multi-Language Support

inferredcites →https://doi.org/10.1109/scam.2008.24openalex-snapshot

Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking

inferredcites →https://doi.org/10.1109/simsym.2001.922142openalex-snapshot

Fault identification in networks by passive testing

inferredcites →https://doi.org/10.1109/sp.2008.22openalex-snapshot

Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications

inferredcites →https://doi.org/10.1145/1062455openalex-snapshot

Proceedings of the 27th international conference on Software engineering - ICSE '05

inferredcites →https://doi.org/10.1145/1062455.1062502openalex-snapshot

Verification and change-impact analysis of access-control policies

inferredcites →https://doi.org/10.1145/1180405.1180445openalex-snapshot

EXE

inferredcites →https://doi.org/10.1145/1455518.1455522openalex-snapshot

EXE

inferredcites →https://doi.org/10.1145/1809100.1809106openalex-snapshot

Unified modeling of attacks, vulnerabilities and security activities

inferredcites →https://doi.org/10.1184/r1/6468716openalex-snapshot

Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software

inferredcites →https://doi.org/10.4018/978-1-59904-147-6openalex-snapshot

Integrating Security and Software Engineering: Advances and Future Visions

inferredcites →https://doi.org/10.4018/978-1-59904-147-6.ch008openalex-snapshot

Modelling Security and Trust with Secure Tropos

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.2805openalex-snapshot

An efficient scheme for secure feature location using data fusion and data mining in internet of things environment

inferred← citeshttps://doi.org/10.1007/978-3-031-78386-9_2openalex-snapshot

An Approach to Cognitive Root Cause Analysis of Software Vulnerabilities

inferred← citeshttps://doi.org/10.1007/978-3-032-18093-3_3openalex-snapshot

Modelling Software Vulnerability Management Using the Epidemiological SIR Framework

inferred← citeshttps://doi.org/10.1007/978-3-319-67549-7_11openalex-snapshot

Using Data Integration for Security Testing

inferred← citeshttps://doi.org/10.1007/s11219-018-9438-2openalex-snapshot

An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases

inferred← citeshttps://doi.org/10.1016/j.cosrev.2014.07.001openalex-snapshot

DAG-based attack and defense modeling: Don’t miss the forest for the attack trees

inferred← citeshttps://doi.org/10.1016/j.ijinfomgt.2016.05.016openalex-snapshot

Examining the relationship between firm’s financial records and security vulnerabilities

inferred← citeshttps://doi.org/10.1016/j.infsof.2018.07.013openalex-snapshot

A tool supported methodology to passively test asynchronous systems with multiple users

inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106290openalex-snapshot

Identifying security issues for mobile applications based on user review summarization

inferred← citeshttps://doi.org/10.1016/j.jnca.2021.103009openalex-snapshot

The rise of software vulnerability: Taxonomy of software vulnerabilities detection and machine learning approaches

inferred← citeshttps://doi.org/10.1016/j.procs.2016.05.204openalex-snapshot

Neural Network Based Approach for Stepping Stone Detection under Delay and Chaff Perturbations

inferred← citeshttps://doi.org/10.1093/logcom/exs029openalex-snapshot

Attack-defense trees

inferred← citeshttps://doi.org/10.1109/paap.2015.15openalex-snapshot

Modelling Binary Oriented Software Buffer-Overflow Vulnerability in Process Algebra

inferred← citeshttps://doi.org/10.1109/scam.2012.16openalex-snapshot

InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries

inferred← citeshttps://doi.org/10.14257/ijfgcn.2015.8.5.18openalex-snapshot

An Automatic Software Requirement Analysis Model based on Planning and Machine Learning Techniques

inferred← citeshttps://doi.org/10.14257/ijfgcn.2016.9.5.18openalex-snapshot

Design, Extension and Implementation of RADIUS Client

inferred← citeshttps://doi.org/10.20473/jisebi.9.1.95-107openalex-snapshot

Security Aspect in Software Testing Perspective: A Systematic Literature Review

inferred← citeshttps://doi.org/10.3384/diss.diva-171575openalex-snapshot

Vulnerability and Risk Analysis Methods and Application in Large Scale Development of Secure Systems

inferred← citeshttps://doi.org/10.4067/s0718-07642013000500003openalex-snapshot

Herramienta para la Detección de Vulnerabilidades basada en la Identificación de Servicios

inferred← citeshttps://doi.org/10.4156/jcit.vol8.issue3.74openalex-snapshot

An Incremental Rapid DBSCAN Clustering Algorithm for Detecting Software Vulnerabilities

inferred← citeshttps://doi.org/10.48550/arxiv.2007.03275openalex-snapshot

An Advanced Approach for Choosing Security Patterns and Checking their Implementation

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.