1106 search results - page 4 / 222 » Automated Design of Security Protocols |
SOCIALCOM
2010
13 years 7 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...
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
CCS
1993
ACM
14 years 1 months ago
1993
ACM
CADE
2008
Springer
14 years 10 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.
CSFW
2008
IEEE
13 years 11 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...