674 search results - page 46 / 135 » Using Abuse Case Models for Security Requirements Analysis |
EUROPKI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
CRYPTO
2008
Springer
14 years 11 months ago
2008
Springer
Prior approaches [15, 14] to building collusion-free protocols require exotic channels. By taking a conceptually new approach, we are able to use a more digitally-friendly communic...
FSE
1999
Springer
15 years 2 months ago
1999
Springer
The DES has reached the end of its lifetime due to its too short key length and block length (56 and 64 bits respectively). As we are awaiting the new AES, triple (and double) encr...
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
WOSP
2004
ACM
15 years 3 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...