991 search results - page 18 / 199 » Analyzing URL queries |
MODELS
2007
Springer
14 years 1 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...
DEXAW
2003
IEEE
14 years 25 days 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...
SP
1997
IEEE
13 years 11 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...
ESORICS
2010
Springer
13 years 8 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...
ITNG
2006
IEEE
14 years 1 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...