Journal article icon

Journal article

A framework for compositional verification of security protocols

Abstract:

Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis is an attractive, but non-trivial approach. We have developed a framework for compositional analysis of a large class of security protocols. The framework is intended to facilitate automatic as well as manual verification of large structured security protocols. Our approach is to verify properties of component pr...

Expand abstract

Actions


Access Document


Publisher copy:
10.1016/j.ic.2007.07.002

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Gjosteen, K More by this author
Mjolsnes, SF More by this author
Expand authors...
Journal:
Information and Computation
Volume:
206
Issue:
2-4
Pages:
425-459
Publication date:
2006-11-14
DOI:
EISSN:
1090-2651
ISSN:
0890-5401
URN:
uuid:da3719f0-7b83-4827-9c6b-df25847d4b70
Source identifiers:
427734
Local pid:
pubs:427734
Language:
English
Keywords:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP