排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
对高校信息技术基础课程的特点和实施分层教学的必要性进行了分析,提出基于网络平台的开放式分层教学模式的构建流程,并概述了此模式的优点。 相似文献
2.
3.
4.
提出了一种基于关联规则的安全协议形式化分析方法。从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议,提出了基于以上关联特点的协议验证方法。利用该方法对Woo and Lam认证协议进行了逆向验证分析,成功推导出现有的已知攻击路径,使这些已知攻击路径的推导能统一于该验证方法;同时还发现了一个未知的攻击路径,为协议的形式化分析提供了新思路。 相似文献
5.
为适应云环境中移动手机等资源限制型设备的使用,降低基于多授权属性基加密的会话密钥协议的计算和通信代价,提出一种能生成固定密文长度交换消息的协议。该协议基于多值访问结构,加强了数据拥有者对系统模型的权限控制;在基于属性的BJM(Blake-Johnson-Menezes)模型和选择访问结构安全模型下,基于判定性q并行双线性Diffie-Hellman指数(q-PBDHE)假设证明了该协议的安全性。通过实验比较分析了类似协议的性能,表明该协议具有较高效率和安全性,适合在轻量级应用场景上使用。 相似文献
6.
基于ASP的毕业论文管理系统设计 总被引:1,自引:0,他引:1
为解决学校、指导老师和毕业生在工作时间、空间上的冲突。本文介绍了基于因特网的毕业论文管理系统的设计。系统基于ASP平台开发,采用B/S模式,后台使用ACCESS数据库,提供了毕业论文工作的各个管理功能,其应用为学校、指导老师和学生能充分利用因特网完成毕业论文管理、指导和写作等工作提供了便利的平台。 相似文献
7.
8.
9.
探讨了利用计算机网络和信息技术,构建虚拟的中央苏区数字博物馆的意义,提出了中央苏区数字博物馆的建设思路和建设方案. 相似文献
10.
就安全协议的重放攻击进行了分析,针对重放攻击特点,引入了协议关联的相关理论,揭示了其关联本质,为更好地预防重放攻击提供了新的分析思路和方法. 相似文献