6293 search results - page 221 / 1259 » Information Flow Testing |
158
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Many cryptographic schemes have been designed to enforce information flow policies. However, enterprise security requirements are often better encoded, or can only be encoded, usin...
107
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...
114
click to vote
IEEEIAS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
118
click to vote
INEX
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we compare the effectiveness scores and system rankings obtained with the inex-2002 metric, the official measure of INEX 2004, and the XCG metrics proposed in [4] an...
139
click to vote
DMIN
2006
15 years 5 months ago
2006
- Filtering the immense amount of data available electronically over the World Wide Web is an important task of search engines in data mining applications. Users when performing se...