Concepedia

Rauli Kaksonen

RK

2

Publications

53

Citations

2

H-Index

2001

Active since

Affiliations

Oulu University Hospital(Current)

Rauli Kaksonen is an author at Oulu University Hospital specializing in formal verification, data security, and engineering.

Top concepts

SecurityEngineeringCryptographyData SecuritySoftware AnalysisFormal VerificationInformation Security

Publications per year

2001–2022

2

Publications

2

A Functional Method for Assessing Protocol Implementation Security

Rauli Kaksonen, Vtt Publications · 2001 · 43 citations

Engineering, Information Security, Protocol Analysis +8

Digi-HTA, assessment framework for digital healthcare services: information security and data protection in health technology – initial experiences

Jari Jääskelä, Jari Haverinen, Rauli Kaksonen et al. · Finnish Journal of eHealth and eWelfare · 2022 · 10 citations · Full text

Rows per page

1–2 of 2