1875 search results - page 142 / 375 » Modeling the Security of Steganographic Systems |
159
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
Sharing life-log information in a social community has many advantages, both for the user and society. But sharing any type of personal information is a threat to privacy. In parti...
141
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— An orientation model provides an analytical means for describing fingerprint ridge orientations. It can help in data storage and recovery as well as other possible communicati...
191
click to vote
PCI
2005
Springer
15 years 12 months ago
2005
Springer
Security incident management is one of the critical areas that offers valuable information to security experts, but still lacks much development. Currently, several security incide...
156
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
197
click to vote
CIIA
2009
15 years 7 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...