Вышел совместный отчет ИСП РАН и Morphbius Technologies |
22.06.2004 г. |
Совместный отчет ИСП РАН и Morphbius Technologies (Канада) был представлен в рабочую группу по стандартизации аудио-видео кодирования Министерства информационной индустрии КНР (AVS). Отчет посвящен применению формальных методов к тестированию реализаций управления цифровыми правами (Digital Rights Management, DRM) на соответствие стандартам AVS DRM. Отчет был представлен на 9-й встрече рабочей группы, проходившей 18–20 июня в Пекине (Китай). (см. отчет и презентацию)
|