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 International Publishing
ilmumisaasta
2017
leheküljed
p. 181-196 : ill
seeria-sari
Lecture notes in computer science ; 10646
leitav
https://doi.org/10.1007/978-3-319-70004-5_13
märksõna
tarkvaraarendus
autentimine
küberturve
arvutiturve
privaatsus
plokiahela-tehnoloogia
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
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise