掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Association for Computing Machinery Conference on Computer and Communications Security
Association for Computing Machinery Conference on Computer and Communications Security
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Model
机译:
在随机Oracle模型中的非对称加密方案的自动证明
作者:
Judicael Courant
;
Marion Daubignard
;
Cristian Ene
;
Pascal Lafourcade
;
Yassine Lakhnech
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Hoare logics;
Asymmetric encryption;
Provable security;
Automated proofs;
Random oracle model;
2.
RFIDs and Secret Handshakes: Defending Against Ghost-and-Leech Attacks and Unauthorized Reads with Context-Aware Communications
机译:
RFIDS和秘密握手:使用上下文感知通信抵御Ghost-leech攻击和未经授权的读取
作者:
Alexei Czeskis
;
Karl Koscher
;
Joshua R. Smith
;
Tadayoshi Kohno
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Context-aware Communications;
Gesture Recognition;
Man-in-the-middle Attacks;
Passive Gesture Recognition;
Privacy;
Proxy Attacks;
Relay Attacks;
RFID;
RFID Device Selection;
Skimming Attacks;
3.
Towards Automatic Reverse Engineering of Software Security Configurations
机译:
朝向软件安全配置的自动逆向工程
作者:
Rui Wang
;
XiaoFeng Wang
;
Kehuan Zhang
;
Zhuowei Li
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Reverse Engineering;
Configuration;
Access Control;
Taint Analysis;
Context-Free Language;
4.
Ether: Malware Analysis via Hardware Visualization Extensions
机译:
ether:通过硬件可视化扩展的恶意软件分析
作者:
Artem Dinaburg
;
Paul Royal
;
Monirul Sharif
;
Wenke Lee
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Malware Analysis;
Dynamic Analysis;
Virtualization;
Emulation;
Unpacking;
5.
Revocation Games in Ephemeral Networks
机译:
暂时网络中的撤销游戏
作者:
Maxim Raya
;
Mohammad Hossein Manshaei
;
Mark Felegyhazi
;
Jean-Pierre Hubaux
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Ephemeral networks;
Game theory;
Revocation;
6.
Trust Management For Secure Information Flows
机译:
信任管理安全信息流
作者:
Mudhakar Srivatsa
;
Shane Balfe
;
Kenneth G. Paterson
;
Pankaj Rohatgi
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Information Flow;
Trust;
Risk;
ID-PKC;
7.
Authenticated Hash Tables
机译:
经过身份验证的哈希表
作者:
Charalampos Papamanthou
;
Roberto Tamassia
;
Nikos Triandopoulos
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Hash tables;
Authentication;
Verification;
RSA accumulator;
8.
Robust Defenses for Cross-Site Request Forgery
机译:
跨站点请求伪造的强大防御
作者:
Adam Barth
;
Collin Jackson
;
John C. Mitchell
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Cross-Site Request Forgery;
Web Application Firewall;
HTTP Ref erer Header;
Same-Origin Policy;
9.
Extending Logical Attack Graphs for Efficient Vulnerability Analysis
机译:
扩展逻辑攻击图以获得有效的漏洞分析
作者:
Diptikalyan Saha
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Attack Graphs;
Incremental Analysis;
Logic Programming;
10.
Dependent Link Padding Algorithms for Low Latency Anonymity Systems
机译:
低延迟匿名系统的依赖链接填充算法
作者:
Wei Wang
;
Mehul Motani
;
Vikram Srinivasan
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Anonymity systems;
Link padding;
Traffic analysis attack;
11.
OMash: Enabling Secure Web Mashups via Object Abstractions
机译:
omash:通过对象抽象启用安全的Web Mashups
作者:
Steven Crites
;
Francis Hsu
;
Hao Chen
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Web;
Browser;
Mashup;
Same origin policy;
Communication;
Protection;
Security model;
Object abstraction;
12.
increased DNS Forgery Resistance Through 0×20-Bit Encoding
机译:
通过0×20位编码增加DNS伪造阻力
作者:
David Dagon
;
Manos Antonakakis
;
Paul Vixie
;
Tatuya Jinmei
;
Wenke Lee
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
DNS poisoning;
DNS-0x20;
Computer security;
13.
Assessing Query Privileges via Safe and Efficient Permission Composition
机译:
通过安全和高效的许可组成评估查询权限
作者:
Sabrina De Capitani di Vimercati
;
Sara Foresti
;
Sushil Jajodia
;
Stefano Paraboschi
;
Pierangela Samarati
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Access control;
Authorization composition;
14.
SOMA: Mutual Approval for Included Content in Web Pages
机译:
SOMA:网页中包含内容的互联
作者:
Terri Oda
;
Glenn Wurster
;
P. C. van Oorschot
;
Anil Somayaji
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Web security;
JavaScript;
Same origin policy;
Cross-site scripting (XSS);
Cross-site request forgery (XSRF);
15.
Type-checking Zero-knowledge
机译:
键入零知识
作者:
Michael Backes
;
Catalin Hrijcu
;
Matteo Maffei
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Security;
Theory;
Verification;
16.
Cryptographically Verified Implementations for TLS
机译:
TLS的加密验证实现
作者:
Karthikeyan Bhargavan
;
Cedric Fournet
;
Ricardo Corin
;
Eugen Zalinescu
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Security;
Verification;
17.
Identity-based Encryption with Efficient Revocation
机译:
基于身份的加密,高效撤销
作者:
Alexandra Boldyreva
;
Vipul Goyal
;
Virendra Kumar
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Identity-based encryption;
Revocation;
Provable security;
18.
Spamalytics: An Empirical Analysis of Spam Marketing Conversion
机译:
Spamalytics:垃圾邮件营销转换的实证分析
作者:
Chris Kanich
;
Christian Kreibich
;
Kirill Levchenko
;
Brandon Enright
;
Geoffrey M. Voelker
;
Vern Paxson
;
Stefan Savage
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Spam;
Unsolicited Email;
Conversion;
19.
Rootkit-Resistant Disks
机译:
rootkit抵抗磁盘
作者:
Kevin R. B. Butler
;
Stephen McLaughlin
;
Patrick D. McDaniel
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Storage;
Security;
Rootkits;
Labels;
20.
Constructions of Truly Practical Secure Protocols using Standard Smartcards
机译:
使用标准智能卡的真正实用安全协议的结构
作者:
Carmit Hazay
;
Yehuda Lindell
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Secure computation;
Smartcards;
Provable security;
21.
A Look In the Mirror: Attacks on Package Managers
机译:
镜子看起来:攻击包管理人员
作者:
Justin Cappos
;
Justin Samuel
;
Scott Baker
;
John H. Hartman
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Package Management;
Mirrors;
Replay Attack;
22.
Building Castles out of Mud: Practical Access Pattern Privacy and Correctness on Untrusted Storage
机译:
建造泥土的城堡:实用的访问模式隐私和不可信任的存储上的正确性
作者:
Peter Williams
;
Radu Sion
;
Bogdan Carbunar
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Data Outsourcing;
Private Information Retrieval;
23.
FairplayMP - A System for Secure Multi-Party Computation
机译:
FairplayMP - 一种安全多方计算系统
作者:
Assaf Ben-David
;
Noam Nisan
;
Benny Pinkas
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Secure multi-party computation;
Cryptography;
24.
Unbounded Verification, Falsification, and Characterization of Security Protocols by Pattern Refinement
机译:
模式细化无限验证,伪造和安全协议的表征
作者:
Cas J. R. Cremers
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Security protocol analysis;
Unbounded verification;
Falsification;
Characterization;
25.
Machine Learning Attacks Against the Asirra CAPTCHA
机译:
机器学习攻击ASIRRA CAPTCHA
作者:
Philippe Golle
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
CAPTCHA;
Reverse Turing test;
Machine learning;
Support vector machine;
Classifier;
26.
Information Leaks in Structured Peer-to-Peer Anonymous Communication Systems
机译:
信息化对等匿名通信系统中的信息泄漏
作者:
Prateek Mittal
;
Nikita Borisov
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Anonymity;
Attacks;
Information-leaks;
Peer-to-peer;
27.
Tupni: Automatic Reverse Engineering of Input Formats
机译:
Tupni:输入格式的自动逆向
作者:
Weidong Cui
;
Marcus Peinado
;
Karl Chen
;
Helen J. Wang
;
Luiz Irun-Briz
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Protocol reverse engineering;
Binary analysis;
28.
When Good Instructions Go Bad: Generalizing Return-Oriented Programming to RISC
机译:
当良好的指示变坏时:将概括的返回方向编程到RISC
作者:
Erik Buchanan
;
Ryan Roemer
;
Hovav Shacham
;
Stefan Savage
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Return-oriented programming;
Return-into-libc;
SPARC;
RISC;
29.
Verifiable Functional Purity in Java
机译:
Java中可验证的功能纯度
作者:
Matthew Finifter
;
Adrian Mettler
;
Naveen Sastry
;
David Wagner
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Pure functions;
Determinism;
Static analysis;
Object-capabilities;
30.
PEREA: Towards Practical TTP-Free Revocation in Anonymous Authentication
机译:
佩雷利亚:在匿名身份验证中实现实际的TTP撤销
作者:
Patrick P. Tsang
;
Man Ho Au
;
Apu Kapadia
;
Sean W. Smith
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Anonymous authentication;
Privacy-enhanced revocation;
Subjective blacklisting;
Non-membership proofs;
31.
Efficient and Extensible Security Enforcement Using Dynamic Data Flow Analysis
机译:
使用动态数据流分析有效和可扩展的安全执行
作者:
Walter Chang
;
Brandon Streiff
;
Calvin Lin
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Dynamic Data Flow Analysis;
Security Enforcement;
Static Analysis;
32.
EON: Modeling and Analyzing Dynamic Access Control Systems with Logic Programs
机译:
EON:使用逻辑程序建模和分析动态访问控制系统
作者:
Avik Chaudhuri
;
Prasad Naldurg
;
Sriram K. Raiamani
;
G. Ramalingam
;
Lakshmisubrahmanyam Velaga
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Dynamic access control;
Logic programming;
Automatic verification;
33.
Black-Box Accountable Authority Identity-Based Encryption
机译:
黑匣子负责任的权限基于身份的加密
作者:
Vipul Goyal
;
Steve Lu
;
Amit Sahai
;
Brent Waters
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Accountable Authority;
Identity-Based Encryption;
34.
ShadowWalker: Peer-to-peer Anonymous Communication Using Redundant Structured Topologies
机译:
Shadowwalker:使用冗余结构拓扑的对等匿名通信
作者:
Prateek Mittal
;
Nikita Borisov
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Anonymity;
Peer-to-peer;
Random walks;
35.
Efficient Pseudorandom Functions from the Decisiona Linear Assumption and Weaker Variants
机译:
从决定线性假设和较弱的变体中有效的伪随机函数
作者:
Allison B. Lewko
;
Brent Waters
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
36.
Hey, You, Get Off of My Cloud: Exploring Information Leakage in Third-Party Compute Clouds
机译:
嘿,你,离开我的云:探索第三方计算云中的信息泄露
作者:
Thomas Ristenpart
;
Eran Tromer
;
Hovav Shacham
;
Stefan Savage
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Cloud computing;
Virtual machine security;
Side channels;
37.
CoSP: A General Framework For Computational Soundness Proofs
机译:
COSP:计算声音证明的一般框架
作者:
Michael Backes
;
Dennis Hofheinz
;
Dominique Unruh
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Security;
Theory;
Verification;
38.
Oblivious Transfer with Access Control
机译:
忘记转移访问控制
作者:
Jan Camenisch
;
Maria Dubovitskaya
;
Gregory Neven
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Privacy;
Oblivious Transfer;
Anonymous Credentials;
39.
AS-awareness in Tor Path Selection
机译:
在Tor Path选择中的意识
作者:
Matthew Eclman
;
Paul Svverson
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Anonymity;
Autonomous systems;
Privacy;
Tor;
40.
Multi-party Off-the-Record Messaging
机译:
多方关闭记录消息
作者:
Ian Goldberg
;
Berkant Ustaoglu
;
Matthew D. Van Gundy
;
Hao Chen
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Privacy;
Deniability;
Multi-party;
Instant messaging;
41.
Robust Signatures for Kernel Data Structures
机译:
内核数据结构的强大签名
作者:
Brendan Dolan-Gavitt
;
Abhinav Srivastava
;
Patrick Traynor
;
Jonathon Giffin
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Data structures;
Memory analysis;
Security;
42.
SMILE: Encounter-Based Trust for Mobile Social Services
机译:
微笑:对移动社会服务的基于信任
作者:
Justin Manweiler
;
Ryan Scudellari
;
Lanclon P. Cox
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Location-based Services;
Privacy;
Trust;
Social Networking;
43.
Attacking Cryptographic Schemes Based on 'Perturbation Polynomials'
机译:
基于“扰动多项式”攻击加密方案
作者:
Martin Albrecht
;
Craia Gentry
;
Shai Halevi
;
Jonathan Katz
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Pairwise Key Establishment;
Random Perturbation Polynomial;
Sensor Network Security;
44.
The Bayesian Traffic Analysis of Mix Networks
机译:
混合网络的贝叶斯交通分析
作者:
Carmeia Troncoso
;
George Danezis
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Anonymity;
Traffic Analysis;
Mix Networks;
Markov Chain Monte Carlo;
45.
Scalable Onion Routing with Torsk
机译:
可扩展的洋葱路由与躯干
作者:
Jon McLachian
;
Andrew Iran
;
Nicholas Hopper
;
Yongdae Kim
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Anonymous Communication;
Peer-to-Peer Networks;
46.
XCS: Cross Channel Scripting and its Impact on Web Applications
机译:
XCS:交叉通道脚本及其对Web应用程序的影响
作者:
Hristo Bojinov
;
Elie Bursztein
;
Dan Boneh
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
XSS;
XCS;
Web Security;
Embedded web servers;
Embedded Devices;
47.
Computational Soundness for Key Exchange Protocols with Symmetric Encryption
机译:
对称加密密钥交换协议的计算声音
作者:
Ralf Kusters
;
Max Tuengerthal
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Security;
Verification;
48.
Ripley: Automatically Sercuring Web 2.0 Applications Through Replicated Execution
机译:
Ripley:通过复制的执行自动浏览Web 2.0应用程序
作者:
K. Vikram
;
Abhishek Prateek
;
Benjamin Livshits
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Replication;
Tier-splitting;
Web applications;
49.
An Efficient Forward Private RFID Protocol
机译:
一个有效的私人RFID协议
作者:
Come Berbain
;
Olivier Billet
;
Jonathan Etrog
;
Henri Gilbert
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Algorithms;
Design;
Security;
Theory;
50.
On the Difficulty of Software-Based Attestation of Embedded Dewices
机译:
基于软件的嵌入式设备的证明难度
作者:
Claude Castelluccia
;
Aurelien Francilion
;
Daniele Perito
;
Claudio Soriente
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Software-Based Attestation;
Return-Oriented Programming;
Code Compression;
Embedded Systems;
Wireless Sensor Networks;
Indisputable Code Execution;
SWATT;
51.
Mapping Kernel Objects to Enable Systematic Integrity Checking
机译:
映射内核对象以实现系统的完整性检查
作者:
Martim Carbone
;
Weidong Cui
;
Long Lu
;
Wenke Lee
;
Marcus Peinado
;
Xuxian Jiang
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Kernel Integrity;
Malware;
Introspection;
Pointer Analysis;
Memory Analysis;
52.
Learning Your Identity and Disease from Research Papers; Information Leaks in Genome Wide Association Study
机译:
从研究论文学习你的身份和疾病; 基因组宽协会研究中的信息泄漏
作者:
Rui Wang
;
Yong Fuga Li
;
XiaoFeng Wang
;
Haixu Tang
;
Xiaoyong Zhou
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Genome Wide Association Study;
Single Nucleotide Polymorphism;
Test Statistics;
Markov Model;
Integer Programming;
53.
Secure In-VM Monitoring Using Hardware Virtualization
机译:
使用硬件虚拟化安全In-VM监控
作者:
Monirul Sharif
;
Wenke Lee
;
Weidong Cui
;
Andrea Lanzi
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Virtual Machines;
Secure Monitoring;
Kernel Integrity;
Malware;
54.
Large-Scale Malware Indexing Using Function-Call Graphs
机译:
使用函数调用图形进行大规模恶意软件索引
作者:
Xin Hu
;
Tzi-cker Chiueh
;
Kang G. Shin
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Malware Indexing;
Graph Similarity;
Multi-resolution Indexing;
55.
Reactiwe Noninterference
机译:
反应不交易
作者:
Aaron Bohannon
;
Benjamin C. Pierce
;
Vilhelm Sjoberg
;
Stephanie Weirich
;
Steve Zdancewic
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Noninterference;
Information flow;
Reactive programming;
Web browsers;
Web applications;
56.
On Lightweight Mobile Phone Application Certification
机译:
关于轻质手机应用认证
作者:
William Enck
;
Machigar Ongtang
;
Patrick McDaniel
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Mobile phone security;
Malware;
Android;
57.
On Voting Machine Design for Verification and Testability
机译:
论验证和可测试性的投票机设计
作者:
Cynthia Sturton
;
Susmit Jha
;
Sanjit A. Seshia
;
David Wagner
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Design;
Security;
Verification;
Human Factors;
58.
Effective Implementation of the Cell Broadband Engine Isolation Loader
机译:
有效实施细胞宽带发动机隔离装载机
作者:
Masana Murase
;
Kanna Shimizu
;
Wilfred Plouffe
;
Masaharu Sakamoto
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Cell Broadband Engine;
Encrypt-then-sign;
Isolation;
Multi-core;
Substituted-ciphertext attack;
59.
On Cellular Botnets: Measuring the Impact of Devices on a Cellular Network Core
机译:
在细胞僵尸网络上:测量器件对蜂窝网络核心的影响
作者:
Patrick Traynor
;
Michael Lin
;
Machigar Ongtang
;
Vikhyath Rao
;
Trent Jaeger
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Telecommunications;
Denial-of-service;
Mobile phones;
60.
Dispatcher; Enabling Active Botnet Infiltration using Automatic Protocol Rewerse-Engineering
机译:
调度员; 使用自动协议逆向工程实现有效僵尸网络渗透
作者:
Juan Caballero
;
Pongsin Poosankam
;
Christian Kreibich
;
Dawn Song
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Protocol reverse engineering;
Botnet infiltration;
Binary analysis;
61.
Battle of Botcraft: Fighting Bots in Online Games with Human Observational Proofs
机译:
Botcraft战斗:与人类观察证明的在线游戏中的战斗机
作者:
Steven Gianvecchio
;
Zhenyu Wu
;
Mengjun Xie
;
Haining Wang
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Game Bots;
Human Observational Proofs;
62.
A Probabilistic Approach to Hybrid Role Mining
机译:
混合角色挖掘的概率方法
作者:
Mario Frank
;
Andreas P. Streich
;
David Basin
;
Joachim M. Buhmann
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
RBAC;
Role Mining;
Hybrid Role Mining;
Machine Learning;
Business Meaning;
63.
Membership-Concealing Overlay Networks
机译:
会员隐藏覆盖网络
作者:
Eugene Vasserman
;
Rob Jansen
;
James Tyra
;
Nicholas Hopper
;
Yongdae Kim
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Security;
Privacy;
Membership Concealment;
Peer-to-Peer Networks;
64.
Improwing Privacy and Security in Multi-Authority Attribute-Based Encryption
机译:
在基于多权限属性的加密中持续的隐私和安全性
作者:
Melissa Chase
;
Sherman S. M. Chow
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Attribute based encryption;
Anonymous credential;
Privacy;
Multi-authority;
Removing trusted party;
65.
Your Botnet is My Botnet: Analysis of a Botnet Takeover
机译:
您的僵尸网络是我的僵尸网络:分析僵尸网络收购
作者:
Brett Stone-Gross
;
Marco Cova
;
Lorenzo Cavallaro
;
Bob Gilbert
;
Martin Szydlowski
;
Richard Kemmerer
;
Christopher Kruegel
;
Giovanni Vigna
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Botnet;
Malware;
Measurement;
Security;
Torpig;
66.
Priwacy-Preserwing Genomic Computation Through Program Specialization
机译:
通过计划专业化的Privacy-Preating基因组计算
作者:
Rui Wang
;
XiaoFeng Wang
;
Zhou Li
;
Haixu Tang
;
Michael K. Reiter
;
Zheng Dong
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Privacy-Preserving Computation;
Program Specialization;
Human Genome;
Symbolic Execution;
Dynamic Programming;
Secure Multi-Party Computation;
67.
EPC RFID Tag Security Weaknesses and Defenses: Passport Cards, Enhanced Driwers Licenses, and Beyond
机译:
EPC RFID标签安全弱点和防御:护照卡,增强驾驶执照,及以后
作者:
Karl Koscher
;
Ari Juels
;
Vjekoslav Brajkovic
;
Tadayoshi Kohno
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Authentication;
Cloning;
EPC;
Passport Card;
RFID;
WHTI;
68.
Dynamic Provable Data Possession
机译:
动态可提供数据占有
作者:
C. Chris Erway
;
Alptekin Kupcu
;
Charalampos Papamanthou
;
Roberto Tamassia
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Authentication;
Provable data possession;
Skip list;
Integrity checking;
Outsourced storage;
Proof of retrievability;
Authenticated data structures;
69.
On Non-Cooperatiwe Location Privacy: A Game-Theoretic Analysis
机译:
关于非Cooperatiwe位置隐私:游戏 - 理论分析
作者:
Julien Freudiger
;
Mohammad Hossein Manshaei
;
Jean-Pierre Hubaux
;
David C. Parkes
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Location Privacy;
Game Theory;
Mobile Networks;
70.
Certificateless Onion Routing
机译:
无证书洋葱路由
作者:
Dario Catalano
;
Dario Fiore
;
Rosario Gennaro
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Security;
71.
Finding Bugs in Exceptional Situations of JNI Programs
机译:
在JNI程序的特殊情况下查找错误
作者:
Siliang Li
;
Gang Tan
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Reliability;
Security;
Verification;
72.
Behavior based Software Theft Detection
机译:
基于行为的软件盗窃检测
作者:
Xinran Wang
;
Yoon-Chan Jhi
;
Sencun Zhu
;
Peng Liu
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Software Birthmark;
Software Plagiarism;
Software Theft;
Dynamic Analysis;
73.
Can They Hear Me Now? A Security Analysis of Law Enforcement Wiretaps
机译:
他们现在能听到我吗? 执法窃听的安全分析
作者:
Micah Sherr
;
Gaurav Shah
;
Eric Cronin
;
Sandy Clark
;
Matt Blaze
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
CALEA;
Law enforcement wiretaps;
Wiretapping;
74.
Proximity-based Access Control for Implantable Medical Devices
机译:
基于植入医疗设备的基于接近的访问控制
作者:
Kasper B. Rasmussen
;
Claude Castelluccia
;
Thomas Heydt-Benjamin
;
Srdjan Capkun
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Distance Bounding;
Secure Pairing;
Ultrasonic Communication;
Access Control;
Medical Devices;
75.
On Achiewing Good Operating Points on an ROC Plane using Stochastic Anomaly Score Prediction
机译:
使用随机异常评分预测在ROC平面上保持良好的工作点
作者:
Muhammad Qasim Ali
;
Hassan Khan
;
Ali Sajjad
;
Syed Ali Khayam
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Adaptive Thresholding;
Anomaly Detection;
Intrusion Detection;
76.
NISAN: Network Information Service for Anonymization Networks
机译:
Nisan:用于匿名网络的网络信息服务
作者:
Andriy Panchenko
;
Stefan Richter
;
Arne Rache
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Anonymous Communication;
Peer-to-Peer;
DHT;
Node Lookup;
Privacy;
77.
A Metadata Calculus for Secure Information Sharing
机译:
用于安全信息共享的元数据微分
作者:
Mudhakar Srivatsa
;
Dakshi Agrawal
;
Steffen Reidt
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Information Flow;
Access Control;
Risk Management;
78.
Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation
机译:
使用客户端仿真:远程基于异常的作弊检测
作者:
Edward Kaiser
;
Wu-chang Feng
;
Travis Schluessler
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Online Games;
Anti-cheating;
Anomaly-based Detection;
Remote Measurement;
Partial Client Emulation;
79.
Efficient Attributes for Anonymous Credentials
机译:
匿名凭据的有效属性
作者:
Jan Camenisch
;
Thomas Gross
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Privacy;
Anonymous Credential Systems;
Cryptographic Protocols;
Efficient Attribute Encoding;
80.
Privacy Oracle: a System for Finding Application Leaks with Black Box Differential Testing
机译:
隐私Oracle:一个用于查找使用黑匣子差速器测试的应用程序泄漏系统
作者:
Jaeyeon Jung
;
Anmol Sheth
;
Ben Greenstein
;
David Wetherall
;
Gabriel Maganis
;
Tadayoshi Kohno
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Personal information leaks;
Black-box testing;
Sequence alignment algorithm;
Differential fuzz testing;
Data loss prevention;
81.
Mitigating DNS DoS Attacks
机译:
减轻DNS DOS攻击
作者:
Hitesh Ballani
;
Paul Francis
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
DNS;
Denial of Service;
Stale cache;
82.
A Formal Framework for Reflective Database Access Control Policies
机译:
反思数据库访问控制策略的正式框架
作者:
Lars E. Olson
;
Carl A. Gunter
;
P. Madhusudan
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Reflective database access control;
Fine-grained access control;
Transaction datalog;
Formal safety verification;
83.
Enforcing Authorization Policies using Transactional Memory Introspection
机译:
使用事务内存Introspection执行授权策略
作者:
Arnar Birgisson
;
Mohan Dhawan
;
Ulfar Erlingsson
;
Vinod Ganapathy
;
Liviu Iftode
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Reference monitors;
Transactional memory;
84.
Multisignatures Secure under the Discrete Logarithm Assumption and a Generalized Forking Lemma
机译:
MultiSignatures在离散对数假设和广义分叉引理的下方安全
作者:
Ali Bagherzandi
;
Jung Hee Cheon
;
Stanislaw Jarecki
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Algorithms;
Reliability;
Security;
85.
Reconsidering Physical Key Secrecy: Teleduplicafion via Optical Decoding
机译:
通过光解码重新考虑物理密钥保密:Teleduplicafion
作者:
Benjamin Laxton
;
Kai Wang
;
Stefan Savage
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Keys;
Physical Security;
Teleduplication;
86.
Traitor Tracing with Constant Size Ciphertext
机译:
具有恒定大小密文的叛徒跟踪
作者:
Dan Boneh
;
Moni Naor
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2008年
关键词:
Traitor tracing;
Fingerprinting codes;
Encryption;
87.
HAIL: A High-Availability and Integrity Layer for Cloud Storage
机译:
冰雹:云存储的高可用性和完整性层
作者:
Kevin D. Bowers
;
Ari Juels
;
Alina Oprea
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Distributed storage systems;
Cloud storage;
Data availability;
Erasure codes;
Proofs of retrievability;
88.
English Shellcode
机译:
英语shellcode.
作者:
Joshua Mason
;
Sam Small
;
Fabian Monrose
;
Greg MacManus
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Shellcode;
Natural Language;
Network Emulation;
89.
Anonymous Credentials on a Standard Java Card
机译:
标准Java卡上的匿名凭据
作者:
Patrik Bichsel
;
Jan Camenisch
;
Thomas Gross
;
Victor Shoup
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Anonymous credential systems;
Java Card;
Privacy-enhancing systems;
Smart card;
90.
Secure Open Source Collaboration An Empirical Study of Linus' Law
机译:
安全开源合作Linus法律的实证研究
作者:
Andrew Meneely
;
Laurie Williams
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Linus' Law;
Developer network;
Contribution network;
Vulnerability;
Metric;
91.
Multiple Password Interference in Text Passwords and Click-Based Graphical Passwords
机译:
文本密码和基于单击的图形密码中的多个密码干扰
作者:
Sonia Chiasson
;
Alain Forget
;
Elizabeth Stobert
;
P. C. van Oorschot
;
Robert Biddle
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Authentication;
Graphical passwords;
Multiple password interference;
Usable security;
92.
Countering Kernel Rootkits with Lightweight Hook Protection
机译:
用轻质挂钩保护对抗内核rootkits
作者:
Zhi Wang
;
Xuxian Jiang
;
Weidong Cui
;
Peng Ning
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Malware Protection;
Rootkits;
Virtual Machines;
93.
A Security-Preserwing Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms
机译:
从信息流策略到加密机制的分布式程序的安全预设编译器
作者:
Cedric Fournet
;
Gurvan Le Guernic
;
Tamara Rezk
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Security;
Design;
Languages;
94.
RFID Privacy: Relation Between Two Notions, Minimal Condition, and Efficient Construction
机译:
RFID隐私:两个概念,最小条件和高效建设之间的关系
作者:
Changshe Ma
;
Yingjiu Li
;
Robert H. Deng
;
Tieyan Li
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
95.
False Data Injection Attacks against State Estimation Electric Power Grids
机译:
针对状态估计电力网格的假数据注射攻击
作者:
Yao Liu
;
Peng Ning
;
Michael K. Reiter
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Power grids;
State estimation;
Attack;
96.
Feeling-based Location Privacy Protection for Location-based Services
机译:
基于感觉的位置隐私保护,适用于基于位置的服务
作者:
Toby Xu
;
Ying Cai
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
K-anonymity model;
Feeling-based privacy model;
Location privacy;
Trajectory cloaking;
Location-based services;
97.
Filter-resistant Code injection on ARU
机译:
aru上的耐滤网代码注射
作者:
Yves Younan
;
Pieter Philippaerts
;
Frank Piessens
;
Wouter Joosen
;
Sven Lachmund
;
Thomas Walter
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Alphanumeric shellcode;
Filter-resistance;
Turing completeness;
98.
The Fable of the Bees: Incentiwizing Robust Rewocation Decision Making in Ad Hoc Networks
机译:
蜜蜂的寓言:在临时网络中激励强大的重新配置决策
作者:
Steffen Reidt
;
Mudhakar Srivatsa
;
Shane Balfe
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
99.
A New Cell Counter Based Attack Against Tor
机译:
基于新的细胞计数器对抗攻击
作者:
Zhen Ling
;
Junzhou Luo
;
Wei Yu
;
Xinwen Fu
;
Dong Xuan
;
Weijia Jia
会议名称:
《Association for Computing Machinery Conference on Computer and Communications Security》
|
2009年
关键词:
Cell Counter;
Signal;
Anonymity;
Mix Networks;
Tor;
意见反馈
回到顶部
回到首页