以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 安全理论 』  (http://bbs.xml.org.cn/list.asp?boardid=65)
----  当前安全领域的研究热点是什么－抛砖引玉  (http://bbs.xml.org.cn/dispbbs.asp?boardid=65&rootid=&id=15584)

--  作者：Erbil
--  发布时间：3/15/2005 8:20:00 AM

--  当前安全领域的研究热点是什么－抛砖引玉


--  作者：Logician
--  发布时间：3/15/2005 10:16:00 AM

--  
偶觉得是证明one-way function的存在性和NP!=P..........
:P
--  作者：honeysuckle
--  发布时间：3/16/2005 12:05:00 AM

--  
嗬嗬，It's too hard.

给个去年开的热门链接，也算是恭贺开版。


The Croucher Foundation Advanced Study Institute Cryptography and Wireless Security
在香港cityU开的，来了几个牛人。Shamir提出了有趣的问题。

http://www.cs.cityu.edu.hk/~asi/

[此贴子已经被作者于2005-3-16 0:27:48编辑过]
--  作者：Erbil
--  发布时间：3/16/2005 11:02:00 AM

--  
是，这个问题很难，大家可以广泛的发表意见，在此我感觉需要澄清一安全并不意味着密码学。据我所知，NP!=P这个问题已经很少有人做了，因为这个问题太难，但做的人基本上都是大牛
--  作者：wlfl00
--  发布时间：3/16/2005 8:03:00 PM

--  
其实我不大懂，只是最近在做银行卡与网上银行支付系统安全方面的论文。
--  作者：zcmail123
--  发布时间：3/18/2005 8:41:00 PM

--  
我最近开题的方向是密码协议安全特性的形式化验证。这个算是个研究的热点吧！
--  作者：honeysuckle
--  发布时间：3/18/2005 9:02:00 PM

--  
呵呵，安全形式化这东西在中科院很热阿。

现在跟无线沾边的都挺热，比如sensor啊，WLAN啊

--  作者：nexttime
--  发布时间：3/19/2005 8:35:00 PM

--  
不知道，可能是无线中的安全，我还在看看安全管理
--  作者：Erbil
--  发布时间：3/23/2005 10:17:00 PM

--  
中科院有组在做安全形式化
--  作者：yangfeather
--  发布时间：3/28/2005 9:51:00 PM

--  
中科院软件所的计算机科学实验室的一个大方向是做形式化，不过是关注并发系统和实时系统，而信息安全实验室有做安全形式化
--  作者：zhaoming
--  发布时间：9/28/2005 5:49:00 PM

--  
以下是引用zcmail123在2005-3-18 20:41:00的发言：
我最近开题的方向是密码协议安全特性的形式化验证。这个算是个研究的热点吧！

不错，我原来做model checking时碰到状态空间爆炸问题，现在关注安全协议，发现一旦形式化，又碰到这个问题了．

--  作者：sky33320439
--  发布时间：11/12/2005 2:08:00 PM

--  
入侵检测还有人研究不
--  作者：macliln
--  发布时间：3/20/2006 1:21:00 PM

--  
可信计算平台好像也还可以吧？
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 93.750ms