1875 search results - page 28 / 375 » Modeling the Security of Steganographic Systems |
ZUM
2000
Springer
14 years 2 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 ...
CSFW
2005
IEEE
14 years 4 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...
WSC
2004
14 years 9 days 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 ...
ICEIS
2007
IEEE
14 years 5 months ago
2007
IEEE
CSFW
2012
IEEE
12 years 1 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...