Research Report: Formally-Verified ASN.1 Protocol C-language Stack.

Nika Pona Vadim Zaliva

Published in: SP Workshops (2020)

Keyphrases

lightweight
communication protocol
coloured petri nets
network protocols
authentication protocol
security protocols
group communication
communication protocols
cryptographic protocols
application layer
database
multi party
cooperative
website
artificial intelligence
genetic algorithm
neural network