中文摘要：

应用层支持的视频组播由于能同时兼顾传输效率与接收质量，目前成为了视频流在异构网络上向大量用户传输的理想传输体系。但是，随着人们对多媒体业务需求的日益增长，多媒体通信中的安全传输问题成为了多媒体业务进一步发展的关键。本项目的主要研究内容是针对应用层支持的视频组播系统中的安全传输理论进行深入系统的研究。具体而言，我们将重点研究密切相关的四个问题，即新的视频嵌入密钥技术、针对视频特性的实时选择性加密算法、应用层组播密钥分发更新协议以及如何采用模型检测的方法对相关协议进行形式化分析和验证。研究中将同时兼顾安全性与服务质量的需要，从三个层次（实际平台的验证、核心算法的设计和相关基础理论研究）来系统的研究这四个问题。通过该项目的研究，可以系统有效的解决应用层支持的视频组播系统中安全传输的相关问题。因此，本项目的研究有很强的理论意义和实用价值。

结论摘要：

应用层支持的视频组播由于能同时兼顾传输效率与接收质量，目前成为了视频流在异构网络上向大量用户传输的理想传输体系。但是，随着人们对多媒体业务需求的日益增长，多媒体通信中的安全传输问题成为了多媒体业务进一步发展的关键。本项目的主要研究内容是针对应用层支持的视频组播系统中的安全传输理论进行深入系统的研究。具体而言，我们将重点研究密切相关的四个问题，即新的视频嵌入密钥技术、针对视频特性的实时选择性加密算法、应用层组播密钥分发更新协议以及如何采用模型检测的方法对相关协议进行形式化分析和验证。研究中将同时兼顾安全性与服务质量的需要，从三个层次（实际平台的验证、核心算法的设计和相关基础理论研究）来系统的研究这四个问题。通过该项目的研究，可以系统有效的解决应用层支持的视频组播系统中安全传输的相关问题。因此，本项目的研究有很强的理论意义和实用价值。