Domain engineering for automatic analysis of financial applications of cryptographic protocols

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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. © 2010 Springer-Verlag Berlin Heidelberg.

Original languageEnglish
Title of host publicationFinancial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers
Pages428-
Volume6052 LNCS
DOIs
Publication statusPublished - 2010
Event14th International Conference on Financial Cryptography and Data Security - Tenerife, Canary Islands, Spain
Duration: 25 Jan 201028 Jan 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6052 LNCS
ISSN (Print)0302-9743

Conference

Conference14th International Conference on Financial Cryptography and Data Security
CountrySpain
CityTenerife, Canary Islands
Period25/01/1028/01/10

Fingerprint Dive into the research topics of 'Domain engineering for automatic analysis of financial applications of cryptographic protocols'. Together they form a unique fingerprint.

Cite this