1499 search results - page 93 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
198
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
171
click to vote
IEEEARES
2007
IEEE
16 years 21 days ago
2007
IEEE
E-democracy is a necessity in this era of computers and information technology. E-voting is one of the most significant parts of e-democracy, which refers to the use of computers ...
201
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
139
click to vote
SOUPS
2006
ACM
16 years 10 days ago
2006
ACM
The focus of our approach to the usability considerations of privacy and security has been on providing people with information they can use to understand the implications of thei...
156
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
In this work, we study the security of public WLAN-based positioning systems. Specifically, we investigate the Skyhook positioning system, available on PCs and used on a number of...