Formal specification and verification of TCP extended with the Window Scale Option - Concepedia

Concepedia

Publication | Closed Access

Formal specification and verification of TCP extended with the Window Scale Option

21

Citations

21

References

2015

Year

Lars Lockefeer, David Williams, Wan Fokkink

Science of Computer Programming

Hardware SecurityFormal SpecificationEngineeringNetwork Communication ProtocolInternet ProtocolVerificationComputer EngineeringFormal MethodsComputer ScienceWindow Scale OptionTransport LayerFormal VerificationReal-time ProtocolInteraction Protocol

References

	Year	Citations

Page 1