prindi

Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assurance

autor
Leiding, Benjamin
Norta, Alexander
vastutusandmed
Benjamin Leiding and Alex Norta
allikas
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2017
leheküljed
p. 181-196 : ill
seeria-sari
Lecture notes in computer science ; 10646
konverentsi nimetus, aeg
Future Data and Security Engineering, 4th International Conference, FDSE 2017, 29 November - 1 December 2017
konverentsi toimumispaik
Ho Chi Minh City, Vietnam
leitav
https://doi.org/10.1007/978-3-319-70004-5_13
märksõna
tarkvaraarendus
autentimine
küberturve
arvutiturve
privaatsus
plokiahela-tehnoloogia
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q2
kategooria (üld)
Arvutiteadus
Matemaatika
kategooria (alam)
Arvutiteadus. Üldine arvutiteadus
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
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
märkused
Bibliogr.: 36 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Leiding, B., Norta, A. Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assurance // Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings. Cham : Springer, 2017. p. 181-196 : ill. (Lecture notes in computer science ; 10646). https://doi.org/10.1007/978-3-319-70004-5_13