181 search results - page 24 / 37 » Automated Verification of UMLsec Models for Security Require... |
130
Voted
CL
2007
Springer
15 years 12 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
98
Voted
CADE
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
107
click to vote
DBSEC
2009
15 years 1 months ago
2009
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
123
Voted
ESOP
2005
Springer
15 years 6 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...
90
Voted
HOTSWUP
2009
ACM
15 years 5 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...