1875 search results - page 28 / 375 » Modeling the Security of Steganographic Systems |
94
Voted
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
106
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
72
Voted
WSC
2004
15 years 2 months ago
2004
As part of the new security environment at the nation's airports, discrete event simulation modeling was applied shortly after 9-11 to understand the operational dynamics of ...
66
Voted
ICEIS
2007
IEEE
15 years 7 months ago
2007
IEEE
115
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...