ACM通信
研究档案
研究档案提供访问所有研究文章发表在过去的问题的通信ACM。
2011年12月
来自ACM的通信
技术角度:安全第一!
软件经常出错。这是不言而喻的，但也是许多旨在提高软件可靠性、安全性和安全性的计算技术背后的驱动力，从基本测试到完全正式的验证……
来自ACM的通信
安全到最后的指令:类型安全操作系统的自动验证
高级计算机应用程序建立在低级软件层提供的服务之上。不幸的是，今天的低级软件仍然遭受着持续不断的漏洞，经常使计算机容易受到攻击……
来自ACM的通信
为什么你是R3579X?:匿名社交网络、隐藏模式和结构性隐写术
在一个社会网络中，节点对应人或其他社会实体，而边对应他们之间的社会联系。我们描述了一类攻击，这样就有可能知道在…之间是否存在边。
来自ACM的通信
技术角度:匿名不是隐私
我们生活在一个数据丰富的时代。我们在线上和离线行为的每个方面都被捕捉和分析。持有我们数据的公司面临着保护我们隐私的责任，尤其是在他们出售和交换数据的时候……