Login / Signup
N. Rajamanickam
ORCID
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 1
Top Topics
Formal Verification
Payment Protocol
Security Requirements
Finite State
Top Venues
Comput. Electr. Eng.
SIN
NSS
</>
Publications
</>
Venkatasamy Sureshkumar
,
Anitha Ramalingam
,
N. Rajamanickam
,
Ruhul Amin
A lightweight two-gateway based payment protocol ensuring accountability and unlinkable anonymity with dynamic identity.
Comput. Electr. Eng.
57 (2017)
N. Rajamanickam
,
R. Nadarajan
,
Atilla Elçi
Formal Verification of Finite State Transactional Security Policy.
NSS
(2014)
N. Rajamanickam
,
R. Nadarajan
Implementing real-time transactional security property using timed edit automata.
SIN
(2013)