An Efficient Batch Verification Protocol for Value Added Services.

Neetesh Saxena Narendra S. Chaudhari

Published in: SMC (2013)

Keyphrases

value added services
cryptographic protocols
protocol specification
model checker
formal analysis
model checking
formal proof
web services
formal verification
colored petri nets
lightweight
database systems
sensor networks
business models
security protocols