Safeguarding a formalized blockchain-enabled identity-authentication protocol by applying security risk-oriented patterns
author
Norta, Alexander
Matulevičius, Raimundas
Leiding, Benjamin
statement of authorship
Alex Norta, Raimundas Matulevičius, Benjamin Leiding
source
Computers & Security
journal volume number month
vol. 86
year of publication
2019
pages
p. 253−269
url
https://doi.org/10.1016/j.cose.2019.05.017
subject term
tarkvaraarendus
autentimine
turvalisus
privaatsus
arvutiturve
küberturve
plokiahela-tehnoloogia
keyword
authcoin
Colored Petri Net
authentication
security
patterns
access control
identity
blockchain
smart contracts
formal verification
ISSN
0167-4048
notes
Bibliogr.: 52 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/28898
https://www.scopus.com/record/display.uri?eid=2-s2.0-85068181119&origin=inward&txGid=c4272b532e8bdb269f1498304362354d
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20SECUR&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000483406200015
category (general)
Social sciences
Computer science
Sotsiaalteadused
Arvutiteadus
category (sub)
Social sciences. Law
Computer science. General computer science
Sotsiaalteadused. Seadus
Arvutiteadus. Üldine arvutiteadus
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Next gen digital state research group