This paper describes the state of the art of the security and payment protocol design. It gives an overview of the analytic design methods and follows with the approaches of design automation.
This paper describes the state of the art of the security and payment protocol design. It gives an overview of the analytic design methods and follows with the approaches of design automation. (en)