2253 search results - page 187 / 451 » The ComFoRT Reasoning Framework |
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
MLDM
2009
Springer
15 years 5 months ago
2009
Springer
In a world where massive amounts of data are recorded on a large scale we need data mining technologies to gain knowledge from the data in a reasonable time. The Top Down Induction...
HICSS
2008
IEEE
15 years 5 months ago
2008
IEEE
Enterprise architecting is becoming critical for most modern organizations whose competitive strategies are tightly linked to the underlying information technology (IT) infrastruc...
101
click to vote
ACISICIS
2007
IEEE
15 years 5 months ago
2007
IEEE
People enacting processes deviate from the process definition for a variety of different reasons, the consequences of which may be either positive or negative. Detecting deviation...
109
click to vote
LCN
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract—We introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our traffic...