Testing protocols in Internet of Things by a formal passive technique.

Xiaoping Che Stephane Maag

Published in: Sci. China Inf. Sci. (2014)

Keyphrases

knowledge base
physical world
ubiquitous computing
data sets
databases
search engine
test set
test data
multi party
security protocols
key distribution
cryptographic protocols
communicative acts