1106 search results - page 4 / 222 » Automated Design of Security Protocols |
121
Voted
SOCIALCOM
2010
15 years 1 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
131
Voted
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
105
Voted
CCS
1993
ACM
15 years 7 months ago
1993
ACM
97
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges.
160
Voted
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...