3193 search results - page 129 / 639 » A Security Risk Analysis Model for Information Systems |
177
click to vote
CAI
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
182
click to vote
LOCWEB
2009
ACM
16 years 10 days ago
2009
ACM
As a tool for mitigating the potential privacy risks of gathering and transmitting location information on the Web, we suggest in this paper a model for conveying location informa...
179
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
142
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
: © High-Resolution Glyph-Inspection Based Security System Steven J. Simske, Guy Adams HP Laboratories HPL-2010-42 Image forensics, CMOS imaging, authentication, print parasitics,...
160
click to vote
DASFAA
2010
IEEE
15 years 10 months ago
2010
IEEE
Sequence data analysis has been extensively studied in the literature. However, most previous work focuses on analyzing sequence data from a single source or party. In many applica...