991 search results - page 18 / 199 » Analyzing URL queries |
116
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
107
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
An essential problem for biologists is the processing and evaluation of BLAST results. We advocate the deployment of database technology and describe a userdriven tool, called Bla...
118
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
129
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
119
click to vote
ITNG
2006
IEEE
15 years 10 months ago
2006
IEEE
Purpose – This paper reports the findings of a major study examining the overlap among results retrieved by three major web search engines. The goal of the research was to: mea...