- 博客(97)
- 收藏
- 关注
原创 形式语言与自动机理论 哈工大
计算机发展的一个核心问题:计算机的基本能力和限制是什么?究竟那些问题可以通过计算解决?——可计算性理论解决可计算的问题,究竟需要多少的资源?——计算复杂性理论为了研究计算,需要使用哪些计算模型?——形式语言与自动机理论什么是自动机理论?自动机理论:研究抽象机器以及所能解决问题的理论。图灵机:在确定的多项式时间之内,图灵机以确定还是非确定的方式所解决的问题类是否相同(P?NP问题)。有穷自动机:数字电路、通信协议。
2025-07-08 17:20:33
1462
原创 密码学(斯坦福)
安全信息保护:网络流量、无线网络流量保护加密软件或者光盘:EFS…内容保护:CSS(DVD)AACS(蓝光)事实证明CSS是比较容易被破解的。用户认证等…主机段与服务器段之间的传输协议保证了信息传输过程中不会被攻击者窃听或者篡改。TLS协议简述①. 传输双端的握手协议:双端握手之后,双端会获得一个只有双端知道的密钥,其他用户无法知道密钥的内容。②. 信息记录方面:双端使用共享密钥对于传递的信息进行加密传输。磁盘中的信息保护机制保证磁盘中的信息不会被篡改。
2025-07-01 17:21:50
819
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
RSS订阅
1