loading
Papers

Research.Publish.Connect.

Paper

Authors: Maria Spichkova and Radhika Bhat

Affiliation: RMIT University, Australia

ISBN: 978-989-758-300-1

Keyword(s): Software Engineering, Formal Methods, Specification, Verification, Tool-support.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.175.191.168

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Spichkova, M. and Bhat, R. (2018). FocusST Solution for Analysis of Cryptographic Properties.In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-300-1, pages 320-327. DOI: 10.5220/0006772103200327

@conference{enase18,
author={Maria Spichkova. and Radhika Bhat.},
title={FocusST Solution for Analysis of Cryptographic Properties},
booktitle={Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2018},
pages={320-327},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006772103200327},
isbn={978-989-758-300-1},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - FocusST Solution for Analysis of Cryptographic Properties
SN - 978-989-758-300-1
AU - Spichkova, M.
AU - Bhat, R.
PY - 2018
SP - 320
EP - 327
DO - 10.5220/0006772103200327

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.