1564 search results - page 96 / 313 » Security in Practice - Security-Usability Chasm |
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
A high percentage of false positives remains a problem in current network security detection systems. With the growing reliance of industry on computer networks, and the growing v...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
LOPSTR
2001
Springer
15 years 2 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...