掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE Computer Security Foundations Symposium
IEEE Computer Security Foundations Symposium
召开年:
2015
召开地:
Verona(IT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Policy Privacy in Cryptographic Access Control
机译:
密码访问控制中的策略隐私
作者:
Ferrara Anna Lisa
;
Fachsbauer Georg
;
Bin Liu
;
Warinschi Bogdan
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
2.
Probabilistic Program Modeling for High-Precision Anomaly Classification
机译:
高精度异常分类的概率程序建模
作者:
Kui Xu
;
Yao Danfeng Daphne
;
Ryder Barbara G.
;
Ke Tian
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Anomaly detection;
hidden Markov model;
probability;
static program analysis;
3.
Program Actions as Actual Causes: A Building Block for Accountability
机译:
计划行动是实际原因:问责制的基础
作者:
Datta Anupam
;
Garg Deepak
;
Kaynar Dilsun
;
Sharma Divya
;
Sinha Arunesh
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Accountability;
Audit;
Causation;
Security Protocols;
4.
Rational Protection against Timing Attacks
机译:
合理保护定时攻击
作者:
Doychev Goran
;
Kopf Boris
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
5.
A Complete Characterization of Secure Human-Server Communication
机译:
人机安全通信的完整特征
作者:
Basin David
;
Radomirovic Saa
;
Schlaepfer Michael
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Formal Modeling;
Security Ceremonies;
Security Protocols;
6.
A Cut Principle for Information Flow
机译:
信息流的切入原则
作者:
Guttman Joshua D.
;
Rowe Paul D.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Information flow security;
graph models;
partial order execution models;
7.
A Definitional Framework for Functional Encryption
机译:
功能加密的定义框架
作者:
Matt Christian
;
Maurer Ueli
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
8.
Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework
机译:
基于逻辑的信任管理系统中策略行为的推理:一些复杂性结果和一个操作框架
作者:
Pasarella Edelmira
;
Lobo Jorge
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Answer Set Programming;
Logic Programs;
Semantics;
Trust Management Systems;
9.
Set-Pi: Set Membership p-Calculus
机译:
Set-Pi:设置成员资格p-微积分
作者:
Bruni Alessandro
;
Modersheim Sebastian
;
Nielson Flemming
;
Nielson Hanne Riis
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
authentication;
formal methods and verification;
security protocols;
10.
Symbolic Malleable Zero-Knowledge Proofs
机译:
符号可延展的零知识证明
作者:
Backes Michael
;
Bendun Fabian
;
Maffei Matteo
;
Mohammadi Esfandiar
;
Pecina Kim
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
computational soundness;
equivalence properties;
privacy;
zero-knowledge proofs;
11.
The Anatomy and Facets of Dynamic Policies
机译:
动态政策的剖析
作者:
Broberg Niklas
;
van Delft Bart
;
Sands David
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
12.
A Game-Theoretic Study on Non-monetary Incentives in Data Analytics Projects with Privacy Implications
机译:
带有隐私隐含性的数据分析项目中非货币激励的博弈论研究
作者:
Chessa Michela
;
Grossklags Jens
;
Loiseau Patrick
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Non-cooperative game;
data analytics;
non-monetary incentives;
population estimate;
privacy;
public good;
13.
A Hybrid Approach for Proving Noninterference of Java Programs
机译:
证明Java程序互不干扰的混合方法
作者:
Kusters Ralf
;
Truderung Tomasz
;
Beckert Bernhard
;
Bruns Daniel
;
Kirsten Michael
;
Mohr Martin
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
code-level cryptographic analysis;
language-based security;
noninterference;
program analysis;
14.
Understanding and Enforcing Opacity
机译:
了解和执行不透明度
作者:
Schoepe Daniel
;
Sabelfeld Andrei
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
information flow;
language-based security;
15.
Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language
机译:
类似于JavaScript的语言的价值敏感型混合信息流控制
作者:
Hedin Daniel
;
Bello Luciano
;
Sabelfeld Andrei
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
information flow;
language-based security;
16.
A Logic of Programs with Interface-Confined Code
机译:
具有接口限制代码的程序逻辑
作者:
Limin Jia
;
Sen Shayak
;
Garg Deepak
;
Datta Anupam
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
adversary-supplied code;
interface confinement;
program logic;
safety properties;
17.
A Mechanized Proof of Security for Searchable Symmetric Encryption
机译:
可搜索对称加密的机械化安全性证明
作者:
Petcher Adam
;
Morrisett Greg
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
18.
A Methodology for Information Flow Experiments
机译:
信息流实验的方法论
作者:
Tschantz Michael Carl
;
Datta Amit
;
Datta Anupam
;
Wing Jeannette M.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
blackbox experiments;
causation;
information flow analysis;
online tracking;
19.
A Parametric Family of Attack Models for Proxy Re-encryption
机译:
用于代理重新加密的参数化攻击模型系列
作者:
Nunez David
;
Agudo Isaac
;
Lopez Javier
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Attack models;
Proxy Re-Encryption;
Security notions;
20.
An Analysis of Universal Information Flow Based on Self-Composition
机译:
基于自我组合的通用信息流分析
作者:
Muller Christian
;
Kovacs Mate
;
Seidl Helmut
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
hypersafety property;
information flow control;
interprocedural analysis;
noninterference;
weakest precondition;
21.
Analyzing First-Order Role Based Access Control
机译:
分析基于一阶角色的访问控制
作者:
Cotrini Carlos
;
Weghorn Thilo
;
Basin David
;
Clavel Manuel
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Role based access control;
authorization languages;
first-order logic;
policy analysis;
22.
Android Permissions Unleashed
机译:
释放了Android权限
作者:
Armando Alessandro
;
Carbone Roberto
;
Costa Gabriele
;
Merlo Alessio
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
23.
Automatic Proofs of Privacy of Secure Multi-party Computation Protocols against Active Adversaries
机译:
针对活动对手的安全多方计算协议的自动隐私证明
作者:
Pettai Martin
;
Laud Peeter
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
active adversary;
input privacy;
secure computation;
24.
BitWhisper: Covert Signaling Channel between Air-Gapped Computers Using Thermal Manipulations
机译:
BitWhisper:使用热操纵的气隙计算机之间的隐蔽信令通道
作者:
Guri Mordechai
;
Monitz Matan
;
Mirski Yisroel
;
Elovici Yuval
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
air-gap;
bridging;
covert channel;
exfiltration;
infiltration;
sensors;
temperature;
25.
Compositional Typed Analysis of ARBAC Policies
机译:
ARBAC政策的成分类型分析
作者:
Calzavara Stefano
;
Rabitti Alvise
;
Bugliesi Michele
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
26.
Cryptographic Enforcement of Language-Based Information Erasure
机译:
基于语言的信息擦除的密码执行
作者:
Askarov Aslan
;
Moore Scott
;
Dimoulas Christos
;
Chong Stephen
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
27.
Decidability of Trace Equivalence for Protocols with Nonces
机译:
具有随机数的协议的跟踪等效性的可判定性
作者:
Chretien Remy
;
Cortier Veronique
;
Delaune Stephanie
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
privacy-like properties;
security protocols;
trace equivalence;
28.
Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations
机译:
分解,比较和综合访问控制表达仿真
作者:
Garrison William C.
;
Lee Adam J.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
access control;
expressiveness;
suitability;
29.
Du-Vote: Remote Electronic Voting with Untrusted Computers
机译:
Du-Vote:使用不受信任的计算机进行远程电子投票
作者:
Grewal Gurchetan S.
;
Ryan Mark D.
;
Liqun Chen
;
Clarkson Michael R.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Internet voting;
Malware tolerance;
Untrusted computers;
Verifiable elections;
30.
Flow-Limited Authorization
机译:
限流授权
作者:
Arden Owen
;
Jed Liu
;
Myers Andrew C.
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
access control;
authorization logic;
distributed systems;
dynamic policies;
information flow control;
language-based security;
security;
trust management;
31.
Hybrid Monitors for Concurrent Noninterference
机译:
并发无干扰的混合监控器
作者:
Askarov Aslan
;
Chong Stephen
;
Mantel Heiko
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Language-based security;
hybrid information-flow monitor;
information-flow control for concurrent systems;
32.
Information Flow Control for Event Handling and the DOM in Web Browsers
机译:
Web浏览器中用于事件处理和DOM的信息流控制
作者:
Rajani Vineet
;
Bichhawat Abhishek
;
Garg Deepak
;
Hammer Christian
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
33.
Location Privacy via Differential Private Perturbation of Cloaking Area
机译:
通过隐身区域的微分私人摄动来保护位置隐私
作者:
Hoa Ngo
;
Jong Kim
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Hilbert curve;
differential identifiability;
geo-indistinguishability;
location privacy;
34.
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining
机译:
分布式计算中的权力分配游戏:以比特币联合采矿为例
作者:
Loi Luu
;
Saha Ratul
;
Parameshwaran Inian
;
Saxena Prateek
;
Hobor Aquinas
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Bitcoin;
Cryptocurrency;
Distributed computation;
35.
Picking vs. Guessing Secrets: A Game-Theoretic Analysis
机译:
选择与猜测秘密:博弈论分析
作者:
Khouzani M.H.R.
;
Mardziel Piotr
;
Cid Carlos
;
Srivatsa Mudhakar
会议名称:
《IEEE Computer Security Foundations Symposium》
|
2015年
关键词:
Attacker-Defender Games;
Decision Theory;
Game Theory;
Maximin;
Nash Equilibrium;
Password Attacks;
Strong Stackelberg Equilibrium;
Usability-Security Trade-off;
意见反馈
回到顶部
回到首页