Domain engineering for automatic analysis of financial applications of cryptographic protocols

Lilia Georgieva

doi:10.1007/978-3-642-14577-3_42

Domain engineering for automatic analysis of financial applications of cryptographic protocols

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers
Pages	428-
Volume	6052 LNCS
DOIs	https://doi.org/10.1007/978-3-642-14577-3_42
Publication status	Published - 2010
Event	14th International Conference on Financial Cryptography and Data Security - Tenerife, Canary Islands, Spain Duration: 25 Jan 2010 → 28 Jan 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6052 LNCS
ISSN (Print)	0302-9743

Conference

Conference	14th International Conference on Financial Cryptography and Data Security
Country/Territory	Spain
City	Tenerife, Canary Islands
Period	25/01/10 → 28/01/10

Access to Document

10.1007/978-3-642-14577-3_42

Cite this

Georgieva, L. (2010). Domain engineering for automatic analysis of financial applications of cryptographic protocols. In Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers (Vol. 6052 LNCS, pp. 428-). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6052 LNCS). https://doi.org/10.1007/978-3-642-14577-3_42

Georgieva, Lilia. / Domain engineering for automatic analysis of financial applications of cryptographic protocols. Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers. Vol. 6052 LNCS 2010. pp. 428- (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{64f8932dea954bde916777be7f9a12ce,

title = "Domain engineering for automatic analysis of financial applications of cryptographic protocols",

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. {\textcopyright} 2010 Springer-Verlag Berlin Heidelberg.",

author = "Lilia Georgieva",

year = "2010",

doi = "10.1007/978-3-642-14577-3_42",

language = "English",

isbn = "3642145760",

volume = "6052 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "428--",

booktitle = "Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers",

note = "14th International Conference on Financial Cryptography and Data Security ; Conference date: 25-01-2010 Through 28-01-2010",

}

Georgieva, L 2010, Domain engineering for automatic analysis of financial applications of cryptographic protocols. in Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers. vol. 6052 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6052 LNCS, pp. 428-, 14th International Conference on Financial Cryptography and Data Security, Tenerife, Canary Islands, Spain, 25/01/10. https://doi.org/10.1007/978-3-642-14577-3_42

Domain engineering for automatic analysis of financial applications of cryptographic protocols. / Georgieva, Lilia.
Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers. Vol. 6052 LNCS 2010. p. 428- (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6052 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Domain engineering for automatic analysis of financial applications of cryptographic protocols

AU - Georgieva, Lilia

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77955321164&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-14577-3_42

DO - 10.1007/978-3-642-14577-3_42

M3 - Conference contribution

SN - 3642145760

SN - 9783642145766

VL - 6052 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 428-

BT - Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers

T2 - 14th International Conference on Financial Cryptography and Data Security

Y2 - 25 January 2010 through 28 January 2010

ER -

Georgieva L. Domain engineering for automatic analysis of financial applications of cryptographic protocols. In Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers. Vol. 6052 LNCS. 2010. p. 428-. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-14577-3_42

Domain engineering for automatic analysis of financial applications of cryptographic protocols

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this