10159 search results - page 185 / 2032 » System Design Validation Using Formal Models |
121
Voted
TSE
2008
15 years 2 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...
150
click to vote
ACSAC
1996
IEEE
15 years 6 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
121
Voted
REFSQ
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
129
click to vote
APGV
2005
ACM
15 years 8 months ago
2005
ACM
Which object properties matter most in human perception may well vary according to sensory modality, an important consideration for the design of multimodal interfaces. In this st...
134
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...