Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assurance
author
Leiding, Benjamin
Norta, Alexander
statement of authorship
Benjamin Leiding and Alex Norta
source
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
location of publication
Cham
publisher
Springer
year of publication
2017
pages
p. 181-196 : ill
series
Lecture notes in computer science ; 10646
conference name, date
Future Data and Security Engineering, 4th International Conference, FDSE 2017, 29 November - 1 December 2017
conference location
Ho Chi Minh City, Vietnam
url
https://doi.org/10.1007/978-3-319-70004-5_13
subject term
tarkvaraarendus
autentimine
küberturve
arvutiturve
privaatsus
plokiahela-tehnoloogia
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85036461982&origin=inward&txGid=606bbd41a3252c20d93fe400e9106a39
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000440851600013
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
authcoin
Colored Petri Net
authentication
security
trust
privacy
access control
identity
blockchain
smart contract
formal verification
ISSN
0302-9743
ISBN
978-3-319-70003-8
notes
Bibliogr.: 36 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise