12981 search results - page 444 / 2597 » Model Checking (Abstract) |
189
click to vote
SOCO
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
184
click to vote
ICTCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
180
click to vote
ICDCIT
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
153
click to vote
IPTPS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. CorSSO is a distributed service for authentication in networks. It allows application servers to delegate client identity checking to combinations of authentication serve...
184
click to vote
SAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...