在最近的离散事件系统研究中,各种框架下的不透明性（opacity）研究引起了国内外众多学者的广泛关注。离散事件系统的不透明性研究在数字签名、保密通信、信息认证、入侵检测、数据加密、隐私性分析等信息安全机制中取得了重要应用。不透明性是一种重要的信息流属性,用来表征系统的秘密是否泄露给入侵者。本文针对随机离散事件系统模型,研究随机离散事件系统的不透明性问题。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器,得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。总结提出一个基于双向观测器的随机离散事件系统无穷步不透明性和随机离散事件系统K步不透明性验证算法。在过去的十年里,以自动机和Petri网为模型的离散事件系统的不透明度得到了很好的研究。迄今为止,只有在经典网络随机离散事件系统框架下的不透明性得到了定义和研究。非网络化随机离散事件系统假设所有通信都是可靠的、即时的,没有任何延迟或损失。这种假设在网络系统中不切实际。本文研究了网络化随机离散事件系统的不透明性问题。以研究通信延迟和丢失对随机不透明性的影响。我们定义了两类不透明性:用于确定随机网络离散事件系统是否具备当前状态不透明性和初始状态不透明性。给出了随机网络离散事件系统初始状态不透明性和随机网络离散事件系统当前状态不透明性验证定理。并给出在随机网络离散事件系统框架下初始状态不透明性和当前状态不透明性验证算法。并给出了一些例子来说明所得到的结果。