Feature interaction: the security threat from within software systems

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Progress in Informatics

• Publication date

  2008-03-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.2201/NIIPI.2008.5.8
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Guest Editorial

  2009cited by this paper
• Policies and conflicts in call control

  2007cited by this paper
• Managing feature interactions between distributed SIP call control services

  2007cited by this paper
• Composing Features by Managing Inconsistent Requirements

  2007cited by this paper
• Detecting feature interactions in Web services with model checking techniques

  2007cited by this paper
• A taxonomy for identifying requirement interactions in software systems

  2007influential reference
• An Empirical Analysis of the Impact of Software Vulnerability Announcements on Firm Stock Price

  2007cited by this paper
• Responsible Editor: H. Rudin

  2006cited by this paper
• Taxonomy of conflicts in network security policies

  2006cited by this paper
• Event calculus and temporal action logics compared

  2006cited by this paper
• Formal detection of feature interactions with logic programming and LOTOS

  2006cited by this paper
• Propositional Satisfiability and Constraint Programming: A comparative survey

  2006cited by this paper
• Non-Intrusive Monitoring of Service-Based Systems

  2006cited by this paper
• Feature interaction detection by pairwise analysis of LTL properties—A case study

  2006influential reference
• Formalising the Chisel Feature Notation

  2005influential reference
• Test generation for interaction detection in feature-rich communication systems

  2005cited by this paper
• Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK

  2005cited by this paper
• Handling Policy Conflicts in Call Control

  2005influential reference
• Generating annotated behavior models from end-user scenarios

  2005cited by this paper
• Feature Interactions in Integrated Services of Networked Home Appliances: An Object-Oriented Approach

  2005cited by this paper
• WILEY SERIES IN COMMUNICATIONS NETWORKING & DISTRIBUTED SYSTEMS

  2005cited by this paper
• Configuring Members of a Family of Requirements Using Features

  2005cited by this paper
• Using aspects for security engineering of Web service compositions

  2005cited by this paper
• A scenario‐based approach for requirements engineering: Experience in a telecommunication software development project

  2005influential reference
• A soft constraint-based approach to the cascade vulnerability problem

  2005cited by this paper
• Towards a Classification of Web Service Feature Interactions

  2005cited by this paper
• A requirements taxonomy for reducing Web site privacy vulnerabilities

  2004cited by this paper
• An open architecture for next-generation telecommunication services

  2004cited by this paper
• Feature interaction in policies

  2004cited by this paper
• Feature interactions in embedded control systems

  2004cited by this paper
• Directions in feature interaction research

  2004cited by this paper
• Resource-based approach to feature interaction in adaptive software

  2004cited by this paper
• Policy-enabled mechanisms for feature interactions: reality, expectations, challenges

  2004cited by this paper
• Merging partial behavioural models

  2004cited by this paper
• Fundamental Nonmodularity in Electronic Mail

  2004cited by this paper
• Feature Interaction Detection by Bounded Model Checking

  2003cited by this paper
• A Framework for Security Requirements Engineering

  2003cited by this paper
• Requirements interaction management

  2003cited by this paper
• Formal Methods of Analysis of System Properties

  2003influential reference
• Feature interaction: a critical review and considered forecast

  2003influential reference
• Feature specification and automated conflict detection

  2003influential reference
• Policies: Giving Users Control over Calls

  2003cited by this paper
• Template Semantics for Model-Based Notations

  2003cited by this paper
• Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model

  2003cited by this paper
• Fluent model checking for event-based systems

  2003cited by this paper
• Compatibility issues between services supporting networked appliances

  2003cited by this paper
• On Feature Orientation and on Requirements Encapsulation Using Families of Requirements

  2003cited by this paper
• Using event calculus to formalise policy specification and analysis

  2003cited by this paper
• Feature Interactions in Web Services

  2003cited by this paper
• Scalable, graph-based network vulnerability analysis

  2002cited by this paper
• A Practical Guide to Feature-Driven Development

  2002cited by this paper
• Model-based analysis of configuration vulnerabilities

  2002cited by this paper
• Deriving interaction-prone scenarios in feature interaction filtering with use case maps

  2002cited by this paper
• Requirements for evolving systems: a telecommunications perspective

  2001cited by this paper
• Using SPIN for feature interaction analysis—a case study

  2001cited by this paper
• Managing feature interactions in telecommunications systems by temporal colored Petri nets

  2001cited by this paper
• A Case Study in Applying a Product Line Approach for Car Periphery Supervision Systems

  2001cited by this paper
• Feature interaction detection: a LOTOS-based approach

  2000influential reference
• Eliciting security requirements with misuse cases

  2000cited by this paper
• Feature combination and interaction detection via foreground/background models

  2000influential reference
• A hybrid model for specifying features and detecting interactions

  2000cited by this paper
• Use Case Maps as a Feature Description Notation

  2000cited by this paper
• Composing features and resolving interactions

  2000cited by this paper
• Feature Interaction Filtering with Use Case Maps at Requirements Stage

  2000influential reference
• Features as Constraints

  2000cited by this paper
• Problem Frames - Analysing and Structuring Software Development Problems

  2000cited by this paper
• Feature Interations in Telecommunications Systems

  2000cited by this paper
• Problem frames: analyzing and structuring software development problems

  2000cited by this paper
• The Event Calculus Explained

  1999influential reference
• A conceptual basis for feature engineering

  1999cited by this paper
• A graph-based system for network-vulnerability analysis

  1998cited by this paper
• Distributed Feature Composition: A Virtual Architecture for Telecommunications Services

  1998cited by this paper
• Dynamic Constraint Satisfaction for Feature Interaction

  1998cited by this paper
• Feature Interactions in Telecommunications Software

  1998cited by this paper
• The Feature and Service Interaction Problem in Telecommunications Systems. A Survey

  1998cited by this paper
• Four dark corners of requirements engineering

  1997cited by this paper
• Formal methods for the re-engineering of computing systems: a comparison

  1997cited by this paper
• Reachability analysis of feature interactions: a progress report

  1996influential reference
• A Formal Framework for Feature Interaction with Emphasis on Testing

  1995cited by this paper
• Representing Action and Change by Logic Programs

  1993cited by this paper
• A feature-interaction benchmark for IN and beyond

  1993cited by this paper
• Performance Analysis of Concurrency Control Using Locking with Deferred Blocking

  1993cited by this paper
• Feature interactions in telecommunications systems

  1993cited by this paper
• Conjunction as composition

  1993cited by this paper
• Composing Problems: Deriving specifications from inconsistent requirements

  year unknowninfluential reference

• Behavioral interaction identification between safety and security features in safety-critical systems

  2026cites this paper
• Towards Verifiably Safe Tool Use for LLM Agents

  2026cites this paper
• Asking Security Practitioners: Did You Find the Vulnerable (Mis)Configuration?

  2025cites this paper
• Modeling contextual goals and detecting context conflicts from BDD-based user stories

  2024cites this paper
• Vulnerably (Mis)Configured? Exploring 10 Years of Developers' Q&As on Stack Overflow

  2024cites this paper
• Blackbox Observability of Features and Feature Interactions

  2024cites this paper
• Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening

  2023cites this paper
• Feature Interaction in Smart Environments

  2021cites this paper
• Feature Interactions on Steroids: On the Composition of ML Models

  2021cites this paper
• Evaluating the Exploitability of Implicit Interactions in Distributed Systems

  2020cites this paper
• Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems

  2020cites this paper
• Recommendations for Effective Security Assurance of Software-Dependent Systems

  2020cites this paper
• DeepPerf: Performance Prediction for Configurable Software with Deep Sparse Neural Network

  2019cites this paper
• FOMENTANDO TESTES DE MUTAÇÃO VIA EXECUÇÃO CIENTE DE VARIABILIDADE

  2019cites this paper
• Agent‐based negotiation approach for feature interactions in smart home systems using calculus of the context‐aware ambient

  2019cites this paper
• Beyond Con gurable Systems: Applying Variational Execution to Tackle Exponentially Large Search Spaces

  2019cites this paper
• Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements

  2018cites this paper
• Tradeoffs in modeling performance of highly configurable software systems

  2018cites this paper
• Faster variational execution with transparent bytecode transformation

  2018cites this paper
• Understanding vulnerabilities in plugin-based web systems: an exploratory study of wordpress

  2018cites this paper
• Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing

  2018cites this paper
• A Systematic Literature Review on Feature Oriented Software Development Paradigm

  2017cites this paper
• Optimizing Feature Interaction Detection

  2017cites this paper
• Detection and Resolution of Feature Interactions, the Early Light Way

  2016cites this paper
• Do #ifdefs influence the occurrence of vulnerabilities? an empirical study of the linux kernel

  2016influential citation
• On essential configuration complexity: Measuring interactions in highly-configurable systems

  2016cites this paper
• Inter-app Communication in Android: Developer Challenges

  2016cites this paper
• Visualizing the variational callgraph of the Linux kernel: an approach for reasoning about dependencies [poster]

  2016cites this paper
• Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain

  2016cites this paper
• Feature Interaction Problems in Smart Cards with Dynamic Application Lifecycle and Their Countermeasures

  2015cites this paper
• Characterizing complexity of highly-configurable systems with variational call graphs: analyzing configuration options interactions complexity in function calls

  2015cites this paper
• Identifying Competitive Interaction of Patterns in Software Product Lines

  2015cites this paper
• A Lightweight Approach to the Early Detection and Resolution of Feature Interactions

  2015cites this paper
• 2 14281 – Feature Interactions : The Next Generation 1 Executive Summary

  2014cites this paper
• Exploring variability-aware execution for testing plugin-based web applications

  2014cites this paper
• Sous le sceau de l'Université européenne de Bretagne Sous le sceau de l'Université européenne de Bretagne

  2013cites this paper
• Sensibilité aux situations de façon collaborative

  2013cites this paper
• On the Feasibility of using Use Case Maps for the Prevention of Sequence Breaking in Video Games

  2013influential citation
• Feature-Oriented Software Product Lines

  2013cites this paper
• Reasoning with contextual requirements: Detecting inconsistency and conflicts

  2013cites this paper
• Extracting Feature Sequences in Software Vulnerabilities Based on Closed Sequential Pattern Mining

  2013cites this paper
• Exploring feature interactions in the wild: the new feature-interaction challenge

  2013cites this paper
• SECURITY VIGILANCE SYSTEM THROUGH LEVEL DRIVEN SECURITY MATURITY MODEL

  2012cites this paper
• Measuring and predicting non-functional properties of customizable programs

  2012cites this paper
• LEVEL DRIVEN SECURITY MATURITY MODEL

  2012cites this paper
• Predicting performance via automated feature-interaction detection

  2012cites this paper
• Scalable Prediction of Non-functional Properties in Software Product Lines

  2011cites this paper
• Semantic Web-based policy interaction detection method with rules in smart home for detecting interactions among user policies

  2011cites this paper
• Modeling and Reasoning about Contextual Requirements: Goal-based Framework

  2010cites this paper
• Reasoning about Contextual Requirements for Mobile Information Systems: a Goal-based Approach

  2010cites this paper
• Security Requirements Engineering for Evolving Software Systems: A Survey

  2010influential citation
• Detecting Interactions between Behavioral Requirements with OWL and SWRL

  2010cites this paper
• Resource-Aware Contracts for Addressing Feature Interaction in Dynamic Adaptive Systems

  2009cites this paper
• D3.1 Secure Evolving Software Systems: a State of the Art Survey

  2009influential citation
• A Study on Recent Trends on Integration of Security Mechanisms

  2009cites this paper
• An Approach for Analyzing Infrequent Software Faults Based on Outlier Detection

  2009cites this paper
• Initialisation Problems in Feature Composition

  2009cites this paper
• The International Journal On Advances in Systems and Measurements is Published by IARIA

  2009cites this paper