Login / Signup
Investigating Optimal Progress Measures for Verification of the WebSocket Protocol.
Lars Michael Kristensen
Published in:
NIK (2014)
Keyphrases
</>
protocol specification
lightweight
cryptographic protocols
optimal solution
social networks
optimal design
formal analysis
end to end
quality measures
worst case
application layer
tcp ip
dynamic programming
quantitative measures
asynchronous circuits
functional verification
web services