1975 search results - page 212 / 395 » Property analysis and design understanding |
171
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this work-in-progress report we present the results of a preliminary analysis of a set of fieldwork studies conducted in collaboration with a firefighter school and a firefight...
179
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
172
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...
163
click to vote
APSEC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
144
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...