Upgrade of Ethernet-SpaceWire Protocol.

Alexey Vinogradov Evgeni Yablokov Valeria Yachnaya

Published in: FRUCT (2019)

Keyphrases

tcp ip
lightweight
internet protocol
formal analysis
neural network
protocol stack
ip networks
authentication protocol
cryptographic protocols
life cycle
low cost
data acquisition
wide area network
provably secure
network protocols
coloured petri nets