1777 search results - page 62 / 356 » Programming Cryptographic Protocols |
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
FDL
2007
IEEE
14 years 18 days ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...
INDOCRYPT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Contrary to conventional cryptographic wisdom, the NIST SP 800-56A standard explicitly allows the use of a static key pair in more than one of the key establishment proto...