Baidu
map

Refining security protocols

Sprenger, C; Basin, D

Sprenger, C (reprint author), ETH, Informat Secur, CNB F 108,Univ Str 6, CH-8092 Zurich, Switzerland.

JOURNAL OF COMPUTER SECURITY, 2018; 26 (1): 71

Abstract

We propose a development method for security protocols based on stepwise refinement. Our refinement strategy transforms abstract security goals into p......

Full Text Link


Baidu
map
Baidu
map
Baidu
map