3384 search results - page 40 / 677 » More Testable Properties |
ACSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
COMPUTER
2004
13 years 8 months ago
2004
and services. Abstract goods and services such as pictures, speech, and music--which have in the past been relatively awkward to deal with as analog data--have, through digital tec...
SOSYM
2010
13 years 3 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
DBSEC
2010
13 years 10 months ago
2010
Abstract. Access control mechanisms are used to control which principals (such as users or processes) have access to which resources based on access control policies. To ensure the...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...