The Experts below are selected from a list of 327 Experts worldwide ranked by ideXlab platform
Mourad Debbabi - One of the best experts on this subject based on the ideXlab platform.
-
a synergy between static and dynamic analysis for the detection of software security vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
-
OTM Conferences (2) - A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
Aiman Hanna - One of the best experts on this subject based on the ideXlab platform.
-
a synergy between static and dynamic analysis for the detection of software security vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
-
OTM Conferences (2) - A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
Hai Zhou Ling - One of the best experts on this subject based on the ideXlab platform.
-
a synergy between static and dynamic analysis for the detection of software security vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
-
OTM Conferences (2) - A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
Xiaochun Yang - One of the best experts on this subject based on the ideXlab platform.
-
a synergy between static and dynamic analysis for the detection of software security vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
-
OTM Conferences (2) - A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
Lecture Notes in Computer Science, 2009Co-Authors: Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad DebbabiAbstract:The main contribution of this paper is a framework for security testing. The key components of this framework are twofold: First, a static analyzer that automatically identifies suspicious sites of security vulnerabilities in a control flow graph. Second, a test-data generator. The intent is to attempt proving/disproving whether, or not, the suspicious sites are actual vulnerabilities. The paper introduces the static-dynamic hybrid vulnerability detection System, a System that targets the automation of security vulnerability detection in software. The System combines the detection powers of both static and dynamic analysis. Various components compose this model, namely Static Vulnerability Revealer, Goal-Path-Oriented System, and Dynamic Vulnerability Detector.
Stelios Sotiriadis - One of the best experts on this subject based on the ideXlab platform.
-
Service-Oriented System Engineering
Future Generation Computer Systems, 2018Co-Authors: Nik Bessis, Xiaojun Zhai, Stelios SotiriadisAbstract:Abstract Service-Oriented System Engineering (SOSE) is one of the emerging research areas that involves a number of research challenges in engineering service-Oriented Systems, the architecture and computing paradigm as well as the development and management of service-Oriented Systems. Service-Oriented Computing (SOC) exploits services as the fundamental elements for developing computer-based Systems. It has been applied to various areas and promotes fundamental changes to System architecture, especially changing the way software Systems are being analyzed, architected, designed, implemented, tested, evaluated, delivered, consumed, maintained and evolved. The innovations of SOC also offer many interesting avenues of research for scientific and industrial communities. In this paper, we present the concepts of the SOSE from the related work. The motivation, opportunities and challenges of the SOSE is highlighted thereafter. In addition to this, a brief overview of accepted papers in our Special Issue on SOSE is presented. Finally we highlight and summarize this paper.
