671 search results - page 45 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
116
click to vote
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
116
click to vote
CNSR
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, a modeling and simulation framework is proposed for generating data for training and testing intrusion detection systems. The framework can develop models of web us...
101
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
A botnet is a network of compromised hosts that is under the control of a single, malicious entity, often called the botmaster. We present a system that aims to detect bots, indepe...
105
click to vote
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
126
click to vote
INFORMATICALT
2000
15 years 1 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...