2270 search results - page 153 / 454 » Modelling Secure IT Systems - A Survey |
119
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
128
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...
130
click to vote
DANCE
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
111
Voted
IMC
2009
ACM
15 years 10 months ago
2009
ACM
We report on the aftermath of the discovery of a severe vulnerability in the Debian Linux version of OpenSSL. Systems affected by the bug generated predictable random numbers, mo...
133
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...