FocusST Solution for Analysis of Cryptographic Properties

Spichkova, M and Bhat, R 2018, 'FocusST Solution for Analysis of Cryptographic Properties', in Ernesto Damiani, George Spanoudakis and Leszek Maciaszek (ed.) Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018), Madeira, Portugal, 23-24 March 2018, pp. 320-327.


Document type: Conference Paper
Collection: Conference Papers

Title FocusST Solution for Analysis of Cryptographic Properties
Author(s) Spichkova, M
Bhat, R
Year 2018
Conference name ENASE 2018: Volume 1
Conference location Madeira, Portugal
Conference dates 23-24 March 2018
Proceedings title Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018)
Editor(s) Ernesto Damiani, George Spanoudakis and Leszek Maciaszek
Publisher SciTePress
Place of publication Setubal, Portugal
Start page 320
End page 327
Total pages 8
Abstract To analyse cryptographic properties of distributed systems in a systematic way, a formal theory is required. In this paper, we present a theory that allows (1) to specify distributed systems formally, (2) to verify their cryptographic wrt. composition properties, and (3) to demonstrate the correctness of syntactic interfaces for specified system components automatically. To demonstrate the feasibility of the approach we use a typical example from the domain of crypto-based systems: a variant of the Internet security protocol TLS. A security flaw in the initial version of TLS specification was revealed using a semi-automatic theorem prover, Isabelle/HOL.
Subjects Software Engineering
Keyword(s) Software Engineering
Formal Methods
Specification
Verification
Tool-support
DOI - identifier 10.5220/0006772103200327
Copyright notice Copyright © 2018 by SCITEPRESS Science and Technology Publications, Lda. All rights reserved
ISBN 9789897583001
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Altmetric details:
Access Statistics: 14 Abstract Views  -  Detailed Statistics
Created: Tue, 23 Oct 2018, 16:00:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us