488 search results - page 56 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
117
Voted
WOSP
2004
ACM
15 years 7 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...
105
click to vote
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
103
Voted
PROVSEC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
119
click to vote
CCS
2003
ACM
15 years 6 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
135
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...