Исходное сообщение
"Уязвимость в реализации IPv6 протокола FreeBSD" Отправлено xxx, 02-Окт-08 17:04
>А тут на самом деле все просто. Хороший протокол должен быть прост >как топор, изящен и с понятной, четко определенной логикой.Тогда там будет >нечего ломать. Это конечно хорошо, но с такими критериями сложно реализовать что-то =) Вообще, для меня тема протоколов в ближайшие месяцы станет очень актуальной. Т.к. необходимо реализовать свой протокол и хотелось бы избежать граблей. Естественно сложность моей "поделки" и TCP/IP несравнима, но и знаний (опыта) у меня гораздо меньше. Поэтому взгляд пал на средство верификации SPIN и книжку "Design and validation of computer protocols". Интересно какие ещё есть средства разработки и верификации протоколов? Было дело реализовывал простенький протокол для обмена данными с устройством, так и то чуть мозг не сломал, рисуя диаграмки и отслеживая возможные состояния. Как можно проанализировать все возможные "затыки" в протоколах уровня TCP даже представить не могу.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>А тут на самом деле все просто. Хороший протокол должен быть прост >>как топор, изящен и с понятной, четко определенной логикой.Тогда там будет >>нечего ломать. > Это конечно хорошо, но с такими критериями сложно реализовать что-то =) > Вообще, для меня тема протоколов в ближайшие месяцы станет очень актуальной. Т.к. > необходимо реализовать свой протокол и хотелось бы избежать граблей. Естественно сложность > моей "поделки" и TCP/IP несравнима, но и знаний (опыта) у меня > гораздо меньше. Поэтому взгляд пал на средство верификации SPIN и книжку > "Design and validation of computer protocols". Интересно какие ещё есть средства > разработки и верификации протоколов? > Было дело реализовывал простенький протокол для обмена данными с устройством, так и > то чуть мозг не сломал, рисуя диаграмки и отслеживая возможные состояния. > Как можно проанализировать все возможные "затыки" в протоколах уровня TCP даже > представить не могу.
	Введите код, изображенный на картинке: