Domain engineering for automatic analysis of financial applications of cryptographic protocols

Authors:
Lilia Georgieva
Affiliations:
Department of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK
Venue:
FC'10 Proceedings of the 14th international conference on Financial Cryptography and Data Security
Year:
2010

Citing 2
Cited 0

A Triptych Software Development Paradigm: Domain, Requirements and Software

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

Our aim is to develop a general framework for study and automatic analysis of properties of cryptographic protocols in order to establish design guidelines for business applications which would ensure correctness.