Verifying security protocols with PVS: widening the rank function approach.

Journal article

Verifying security protocols with PVS: widening the rank function approach.

N Evans and SA Schneider

Journal of Logic and Algebraic Programming, Vol.64(2), pp.253-284

2005

DOI: https://doi.org/10.1016/j.jlap.2004.09.005

Abstract

Files and links (1)

url

http://dx.doi.org/10.1016/j.jlap.2004.09.005View

Metrics

Details

Title: Verifying security protocols with PVS: widening the rank function approach.
Creators: N Evans
SA Schneider
Publication Details: Journal of Logic and Algebraic Programming, Vol.64(2), pp.253-284
Publication Date: 2005
Identifiers: 99515970302346; WOS:000230226800005
Academic Unit: University of Surrey
Resource Type: Journal article