|
|
|
|
|
Xiaojuan Chen and Huiwen Deng
The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task....
ver más
|
|
|
|
|