Feature interaction detection: a LOTOS-based approach

Fu, Qi; Harnois, P.; Logrippo, Luigi; Sincennes, Jacques

doi:10.1016/s1389-1286(00)00009-8

Cited by 5 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The machine changes from one state to another depending on the input and may produce some output in response. Some notable examples of state-based languages include the Specification and Description Language (SDL) [43], [77], and Message Sequence Charts (MSC) [25], [29], [52], [80].…”

Section: State/model-basedmentioning

confidence: 99%

“…An example of an Algebraic language is Language Of Temporal Ordering of Specification (LOTOS). In [29], LOTOS is used for describing feature specifications and these specifications are then translated into state transition model that describe properties that should hold either globally or locally. These properties describe required feature behaviour and their violations are considered as feature interactions.…”

Section: Algebraicmentioning

confidence: 99%

See 1 more Smart Citation

Feature interaction: the security threat from within software systems

Nhlabatsi¹,

Laney²,

Nuseibeh³

2008

Prog. Inform.

View full text Add to dashboard Cite

Security engineering is about protecting assets from harm. The feature interaction problem occurs when the composition of features leads to undesirable system behaviours. Usually, this problem manifests itself as conflicting actions of features on a shared context. Security requirements may be violated by feature interactions creating security vulnerabilities which can potentially be exploited by attackers. In this paper, we discuss the feature interaction problem and some of its possible implications for security requirements. The paper concludes that (1) the detection of the violation of security requirements by feature interactions is not different from other types of requirements-what differs is the impact of such violation; and (2) feature interaction detection approaches can be used as a means for vulnerability analysis.

show abstract

Section: State/model-basedmentioning

confidence: 99%

Section: Algebraicmentioning

confidence: 99%

Feature interaction: the security threat from within software systems

Nhlabatsi¹,

Laney²,

Nuseibeh³

2008

Prog. Inform.

View full text Add to dashboard Cite

show abstract

Using semi-formal methods for detecting interactions among smart homes policies

Shehata

Eberlein

Fapojuwo

2007

Science of Computer Programming

View full text Add to dashboard Cite

Formal methods for communication services: meeting the industry expectations

Dietrich

Hubaux

2002

Computer Networks

View full text Add to dashboard Cite

We survey formal methods as they are applied to the development o f c o mmunication services. We report on industrial and academic projects, consider di erent c o m m unication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, w e investigate important industrial concerns and criticisms about the use of formal methods for the development of communication services.We report on a collaborative project between the Swiss Federal Institute of Technology in Lausanne, Swisscom, Alcatel and Thomson in which these industrial concerns have been taken into account from the very beginning. The results of this project are currently being integrated into an industrial software development platform.

show abstract

Feature interaction detection: a LOTOS-based approach

Cited by 5 publications

References 11 publications

Feature interaction: the security threat from within software systems

Feature interaction: the security threat from within software systems

Using semi-formal methods for detecting interactions among smart homes policies

Formal methods for communication services: meeting the industry expectations

Contact Info

Product

Resources

About