Detecting Violations of Security Requirements for Vulnerability Discovery in Source Code

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.2016edl8035
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Related search

A Source Code Review Method for Discovering Security Flaws Efficiently

2015English

Detecting Software Modularity Violations

2011English

Detecting Null Pointer Violations in Java Programs

English

Formal Verification of Security Properties of Smart Card Embedded Source Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

VYPER: Vulnerability Detection in Binary Code

Security and Privacy
2019English

Automated Vulnerability Discovery in Distributed Systems

2011English

Multi-Agent Based Sequence Algorithm for Detecting Plagiarism and Clones in Java Source Code Using Abstract Syntax Tree

International Journal of Computer Applications
2014English

Security and Reliability Requirements for Advanced Security Event Management

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Source Code Plagiarism Detecting Method Using Sequence Alignment With Abstract Syntax Tree Elements

International Journal of Software Innovation
Computer GraphicsComputer NetworksCommunicationsComputer Science ApplicationsComputer-Aided DesignArtificial IntelligenceSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy