Nate Foster - Formal Methods and Computer Networks - A Match Made in Heaven?
Curry On! · 41:47 · Watch on YouTube
이 강연은 네트워크를 완전히 신뢰할 수 없다는 주장을 제기하지만, 데이터 플레인을 검증함으로써 신뢰해야 할 정도를 줄일 수 있다고 말합니다. 데이터 플레인은 단순하고 루프가 없는 패킷 처리 레이어이며, 강연자는 P4 언어와 SMT 기반 검증이 실제 구성 버그를 어떻게 잡을 수 있는지 보여줍니다. 한 예는 액세스 제어 목록(ACL)과 네트워크 주소 변환(NAT)의 재정렬로 인한 Cisco...