Verifying List Swarm Attestation Protocols.

Jay Le-Papin Brijesh Dongol Helen Treharne Stephan Wesemeyer

Published in: WISEC (2023)

Keyphrases

trusted third party
particle swarm optimization
swarm intelligence
computing platform
neural network
genetic algorithm
evolutionary algorithm
multi objective
model checking
ranked list
security analysis
security protocols
key distribution