Computer Networks · 2012 · 74 citations · 30 references
ComputingComputer EngineeringComputer ScienceFormal MethodsSecurity ArchitectureSecurity ProtocolsInformation ExtractionInternet Protocol SuiteNetwork ProtocolsProtocol AnalysisProtocol VerificationReverse EngineeringAutomated Protocol VerificationAutomatic Protocol VerificationMessage ExchangeMessage Exchange FormatsProtocol Reverse EngineeringProtocol State AnalysisProtocol Violation Detection
30
Bro: a system for detecting network intruders in real-time
Vern Paxson · Computer Networks · 1999 · 2.4K citations
Domain names - implementation and specification
Paul V. Mockapetris · 1987 · 1.2K citations
Secure program execution via dynamic information flow tracking
G. Edward Suh, Jae Wook Lee, David Zhang et al. · 2004 · 746 citations
Manuel Costa, Jon Crowcroft, Miguel Castro et al. · ACM SIGOPS Operating Systems Review · 2005 · 446 citations