会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 8. 发明申请
    • СПОСОБ ДИНАМИЧЕСКОГО КОНТРОЛЯ СООТВЕТСТВИЯ НАСТРОЕК КОММУТАЦИОННЫХ УСТРОЙСТВ
    • 交换设备设置一致性的动态控制方法
    • WO2017188838A1
    • 2017-11-02
    • PCT/RU2016/000252
    • 2016-04-27
    • НЕКОММЕРЧЕСКОЕ ПАРТНЕРСТВО "ЦЕНТР ПРИКЛАДНЫХ ИССЛЕДОВАНИЙ КОМПЬЮТЕРНЫХ СЕТЕЙ"
    • ЧЕМЕРИЦКИЙ, Евгений ВикторовичЗАХАРОВ, Владимир Анатольевич
    • H04L12/771
    • Изобретение относится к технологиям сетевой связи. При помощи контроллера направляют сообщения на находящиеся в его подчинении коммутаторы, при помощи прокси-сервера задерживают команды контроллера, которые предписывают коммутаторам изменить свое поведение и направляют копии указанных команд корректировщику моделей, при помощи корректировщика моделей осуществляют построение математической модели, описывающей конфигурацию сети, которая может быть получена в результате их применения, используя при этом информацию о командах контроллера поступающую к корректировщику моделей, при помощи верификатора проверяют полученные формальные модели на соответствие предъявляемым к сетям требованиям, при помощи верификатора помечают команду контроллера как безопасную, если формальная модель удовлетворяет каждому из требований политик маршрутизации или как небезопасную, если формальная модель не удовлетворяет, по меньшей мере, одному из требований политик маршрутизации, при помощи прокси-сервера передают безопасные команды контроллера на коммутаторы, или при помощи прокси-сервера осуществляют блокировку небезопасных команд и уведомляют контроллер о небезопасности указанной команды. Способ направлен на снижение рисков, возникающих при несоответствии поведения программно- конфигурируемых сетей предъявляемым к ним требованиям.
    • 本发明涉及网络通信技术。 当控制器装置直接消息到其下属的开关,使用需要切换代理服务器延迟控制命令来改变他们的行为,并发送这些命令检举模式的副本,与去污剂模型的帮助下建立描述网络的配置的数学模型,它可以 由于它们的应用而获得,使用关于来自模型校正器的控制器命令的信息 oschi验证器验证的正式型号为遵守对网络的使用验证标记控制器命令的帮助,安全的要求,要求,如果一个正式的模型中每个的路由策略的要求,或者满足不安全的,如果一个正式的模型并不满足路由策略的要求,至少一个 ,通过代理服务器,将安全控制器命令传输给交换机,或者使用代理服务器来阻止不安全的昏迷 等等,并通知有关这支球队的不安全控制器。 该方法旨在降低程序可配置网络的行为不符合要求时出现的风险。