5475 search results - page 972 / 1095 » Model Driven Security |
166
click to vote
ECIS
2003
15 years 7 months ago
2003
This paper describes an exploratory field study on the adoption of Application Service Provisioning (ASP) in Small and Medium-sized Enterprises (SMEs). Rooted in Merton’s Motiva...
156
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Motivated by the question of basing cryptographic protocols on stateless tamper-proof hardware tokens, we revisit the question of unconditional two-prover zero-knowledge proofs fo...
163
click to vote
EUROSSC
2008
Springer
15 years 7 months ago
2008
Springer
Equipment used in the construction domain is often hired in order to reduce cost and maintenance overhead. The cost of hire is dependent on the time period involved and does not ta...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Once quantum computers reach maturity most of today's traditional cryptographic schemes based on RSA or discrete logarithms become vulnerable to quantum-based attacks. Hence, ...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...