2270 search results - page 54 / 454 » Modelling Secure IT Systems - A Survey |
115
Voted
EUROPKI
2007
Springer
15 years 9 months ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...
114
Voted
ZUM
2000
Springer
15 years 7 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 ...
138
Voted
CSFW
2005
IEEE
15 years 9 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
15 years 4 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 ...
82
Voted
ICEIS
2007
IEEE
15 years 9 months ago
2007
IEEE