A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Saved in:
Bibliographic Details
Published inPrinciples of Security and Trust Vol. 10804
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2018
Online AccessGet full text

Cover

BookMark eNpVjklOAzEURI0YBAm5AQtfoMHfxtMyipIAisQisG65nd_K1O1gO0K5PWbYsKqqV1KpBuSiDz0ScgfsHhjTD1abSlQCbGWs5rxSNbAzMipYFPjD1Pm_DPaKDIApBUYyqa7JKKUtYwystVrKG_IypkvsXJ83ns6i6_AzxB1tQ6R5jaXyx7jJJzru3f6UNomGlk5LE_HY0WXnYqaT0OfofE635LJ1-4SjPx2S99n0bfJULV7nz5PxotoK4LlC66SGpjxqGCiOjWmlV8VaK7gp3CnDjTTYOsbQo3a60U6CNu1KrthKDMnj7-4hho8jplxjE8LO4_ePvV-7Q8aYaim1YQJq0KrmEsQXeL9b2Q
ContentType Book Chapter
DBID FFUUA
DOI 10.1007/978-3-319-89722-6_10
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9783319897226
3319897225
Editor Küsters, Ralf
Bauer, Lujo
Editor_xml – sequence: 1
  fullname: Küsters, Ralf
– sequence: 2
  fullname: Bauer, Lujo
ExternalDocumentID EBC5578031_176_251
GroupedDBID 0D6
0DA
38.
A7I
AABBV
AAKKN
AALJR
AAQKC
ABEEZ
ACBYE
ACOUV
ADOGT
AEDXK
AEJLV
AEKFX
AEZAY
AGWHU
AIQUZ
ALMA_UNASSIGNED_HOLDINGS
ALNDD
ANXHU
AZZ
BBABE
BIANM
BICGV
BJAWL
BUBNW
CVGDX
CZZ
EDOXC
EIXGO
FFUUA
FOYMO
I4C
IEZ
NQNQZ
OEBZI
PYIOH
SBO
TPJZQ
TSXQS
V1H
YSPEL
Z7R
Z7S
Z7U
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z88
ID FETCH-LOGICAL-j312t-e9a571b618b0162eb8f5c601699328b61a682858efa00ece7a7b7a5178fd5d0d3
ISBN 9783319897219
3319897217
IngestDate Thu May 29 00:38:05 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
LCCallNum QA76.9.A25QA75.5-76.
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-j312t-e9a571b618b0162eb8f5c601699328b61a682858efa00ece7a7b7a5178fd5d0d3
OCLC 1066185056
OpenAccessLink https://link.springer.com/content/pdf/10.1007%2F978-3-319-89722-6_10.pdf
PQID EBC5578031_176_251
ParticipantIDs proquest_ebookcentralchapters_5578031_176_251
PublicationCentury 2000
PublicationDate 2018
PublicationDateYYYYMMDD 2018-01-01
PublicationDate_xml – year: 2018
  text: 2018
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
PublicationSubtitle 7th International Conference, POST 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
PublicationTitle Principles of Security and Trust
PublicationYear 2018
Publisher Springer International Publishing AG
Publisher_xml – name: Springer International Publishing AG
SSID ssj0001999755
Score 2.5711148
SourceID proquest
SourceType Publisher
Title A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5578031&ppg=251
Volume 10804
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELagE2LgLd7ywIaC8nLsjqEqlEqwtJW6RbbjSCC1SJAu_HrukjiP0qUMjSq3iSx_7vXL5b7vCLkzYdbXKXMdFerACaUrHKWlgVuVQKIDmTIctcOvb9FoFo7nbN60OizUJbl60D8bdSX_QRXGAFdUyW6BbH1RGID3gC8cAWE4rpHfbpq1NL2wafKiGGNS9aErHgZMUUjR3gwxfL6ANXzXyFTLaqy6wLA-tW1QMkRiaFaL-8kCNhcKA3PUU3WyBJ5YyxLYLOFanrGV6oqfO3eWQYDFVNzGMxsqgV-GGwNvu9YCdVF4ru9ESVWz2vG59iuL2a7P9fBxwCB8QJBJPB4lPurid7nAMs2YvzR5M2C0nDGU6dgp8tJIqZlySyK5aUZ__nYLLjE9JPuoL6Eo_ICJHZEdszwmB7a7Bq2C7QkZx9SCRmvQKIBGARpqQaMWNPqZUQsaLUCjNWinZPY0nA5GTtX5wvkIPD93TF8y7qnIEwoouW-UyJgujHOAbgsYlxE6DwqTSdc1Gn5PXHHJPC6ylKVuGpyR3vJzac4J1W6oRRoJLlMWSpEJN_O1kRxe2PDVvSCOXYykeD5fFQXrchW-kzVQLrf8_hXZa_bjNenlXytzAzwuV7cFsL9lSkXa
linkProvider Open Access Publishing in European Networks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Principles+of+Security+and+Trust&rft.atitle=A+Semantic+Framework+for+the+Security+Analysis+of+Ethereum+Smart+Contracts&rft.date=2018-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783319897219&rft.volume=10804&rft_id=info:doi/10.1007%2F978-3-319-89722-6_10&rft.externalDBID=251&rft.externalDocID=EBC5578031_176_251
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5578031-l.jpg