掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE Cybersecurity Development
IEEE Cybersecurity Development
召开年:
2018
召开地:
Cambridge(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
BP: Formal Proofs, the Fine Print and Side Effects
机译:
BP:正式证明,精美印刷品和副作用
作者:
Toby Murray
;
Paul van Oorschot
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Security;
Computational modeling;
Cognition;
Kernel;
Arrays;
Conferences;
2.
BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments
机译:
BP:DECREE:可重复和可重复的安全性实验平台
作者:
Lok Yan
;
Benjamin Price
;
Michael Zhivich
;
Brian Caswell
;
Christopher Eagle
;
Michael Frantzen
;
Holt Sorenson
;
Michael Thompson
;
Timothy Vidas
;
Jason Wright
;
Vernon Rivet
;
Samuel Colt VanWinkle
;
Clark Wood
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Software;
Hardware;
Complexity theory;
Libraries;
Security;
Tools;
Testing;
3.
BP: Security Concerns and Best Practices for Automation of Software Deployment Processes: An Industrial Case Study
机译:
BP:软件部署过程自动化的安全问题和最佳实践:工业案例研究
作者:
Vaishnavi Mohan
;
Lotfi ben Othmane
;
Andre Kres
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Interviews;
Security;
Production;
Software;
Manuals;
Business;
Automation;
4.
Tyche: A Risk-Based Permission Model for Smart Homes
机译:
Tyche:智能家居的基于风险的许可模型
作者:
Amir Rahmati
;
Earlence Fernandes
;
Kevin Eykholt
;
Atul Prakash
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Smart homes;
Computational modeling;
Protocols;
Usability;
Sensors;
Access control;
5.
Detecting Leaks of Sensitive Data Due to Stale Reads
机译:
检测由于过时读取而导致的敏感数据泄漏
作者:
Will Snavely
;
William Klieber
;
Ryan Steele
;
David Svoboda
;
Andrew Kotov
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Arrays;
Java;
Indexes;
Resource management;
Heuristic algorithms;
Web servers;
Runtime;
6.
Transforming Code to Drop Dead Privileges
机译:
转换代码以放弃特权
作者:
Xiaoyu Hu
;
Jie Zhou
;
Spyridoula Gravani
;
John Criswell
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Linux;
Libraries;
Program processors;
Access control;
Process control;
Kernel;
7.
Checked C: Making C Safe by Extension
机译:
已检查的C:通过扩展使C安全
作者:
Archibald Samuel Elliott
;
Andrew Ruef
;
Michael Hicks
;
David Tarditi
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Safety;
Static analysis;
Tools;
Cyclones;
Benchmark testing;
Security;
Computer bugs;
8.
SGL: A Domain-Specific Language for Large-Scale Analysis of Open-Source Code
机译:
SGL:一种用于开放源代码大规模分析的领域特定语言
作者:
Darius Foo
;
Ming Yi Ang
;
Jason Yeo
;
Asankhaya Sharma
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Open source software;
Libraries;
DSL;
Databases;
Security;
Syntactics;
9.
A Lingua Franca for Security by Design
机译:
林瓜·弗朗卡(Lingua Franca)设计的安全性
作者:
Alexander van den Berghe
;
Koen Yskout
;
Riccardo Scandariato
;
Wouter Joosen
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Cryptography;
Unified modeling language;
Software;
Semantics;
Authentication;
Analytical models;
10.
BP: Integrating Cyber Vulnerability Assessments Earlier into the Systems Development Lifecycle: A Methodology to Conduct Early-Cycle Cyber Vulnerability Assessments
机译:
BP:将网络漏洞评估更早地集成到系统开发生命周期中:进行早期周期网络漏洞评估的方法
作者:
Sonja Glumich
;
Juanita Riley
;
Paul Ratazzi
;
Amanda Ozanam
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Security;
Unified modeling language;
Computer architecture;
Modeling;
Documentation;
Mathematical model;
Hardware;
11.
Light-Touch Interventions to Improve Software Development Security
机译:
轻触式干预以提高软件开发安全性
作者:
Charles Weir
;
Lynne Blair
;
Ingolf Becker
;
Angela Sasse
;
James Noble
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Security;
Software;
Tools;
Conferences;
Interviews;
Companies;
12.
Towards Understanding the Adoption of Anti-Spoofing Protocols in Email Systems
机译:
努力理解电子邮件系统中反欺骗协议的采用
作者:
Hang Hu
;
Peng Peng
;
Gang Wang
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Electronic mail;
Protocols;
Authentication;
Internet;
Organizations;
Receivers;
Interviews;
13.
There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection
机译:
C的底部有一个漏洞:关于分配保护的有效性
作者:
Ronald Gil
;
Hamed Okhravi
;
Howard Shrobe
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Resource management;
Safety;
Hardware;
Tools;
Software;
Metadata;
Runtime;
14.
BP: Profiling Vulnerabilities on the Attack Surface
机译:
BP:攻击面上的分析漏洞
作者:
Christopher Theisen
;
Hyunwoo Sohn
;
Dawson Tripp
;
Laurie Williams
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Software systems;
Security;
Surface treatment;
Predictive models;
Computer bugs;
Operating systems;
15.
Tutorial: Building Secure and Trustworthy Blockchain Applications
机译:
教程:构建安全可靠的区块链应用
作者:
Chengjun Cai
;
Huayi Duan
;
Cong Wang
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Tutorials;
Cryptography;
Computer architecture;
Cloud computing;
Employment;
16.
Tutorial: Principles and Practices of Secure Crypto Coding in Java
机译:
教程:Java安全加密编码的原理和实践
作者:
Sazzadur Rahaman
;
Na Meng
;
Danfeng Yao
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Encoding;
Java;
Tutorials;
Cryptography;
Software;
Tools;
17.
Tutorial: Secure Coding Practices, Automated Assessment Tools and the SWAMP
机译:
教程:安全编码实践,自动评估工具和SWAMP
作者:
Elisa Heymann
;
Barton Miller
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Tools;
Software;
Tutorials;
Security;
Encoding;
Instruments;
Programming;
18.
Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C
机译:
教程:保护您的事物:使用Frama-C安全地开发IoT软件
作者:
Allan Blanchard
;
Nikolai Kosmatov
;
Frédéric Loulergue
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Tutorials;
Runtime;
Conferences;
Security;
Internet of Things;
Operating systems;
19.
Tutorial: Continuous Verification of Critical Software
机译:
教程:关键软件的持续验证
作者:
Mike Dodds
;
Stephen Magill
;
Aaron Tomb
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Software;
Tutorials;
Cryptography;
Surface acoustic waves;
Tools;
Testing;
Software algorithms;
20.
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle
机译:
教程:DeepState:将漏洞检测工具引入开发周期
作者:
Peter Goodman
;
Gustavo Grieco
;
Alex Groce
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Tools;
Tutorials;
Fuzzing;
Security;
Conferences;
Test pattern generators;
21.
Tutorial: Parry and RIPOSTE: Honing Cybersecurity Skills with Challenge-Based Exercises
机译:
教程:Parry和RIPOSTE:通过基于挑战的练习提高网络安全技能
作者:
Fabian Monrose
;
Jan Werner
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Buildings;
Protocols;
Reverse engineering;
Games;
Tutorials;
22.
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions
机译:
可扩展的静态分析以检测安全漏洞:挑战和解决方案
作者:
François Gauthier
;
Nathan Keynes
;
Nicholas Allen
;
Diane Corney
;
Padmanabhan Krishnan
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Tools;
Java;
Security;
Static analysis;
Trademarks;
Databases;
Conferences;
23.
Applied Threat Driven Security Verification
机译:
应用威胁驱动的安全验证
作者:
Danny Dhillon
;
Vishal Mishra
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Analytical models;
Tools;
Authorization;
Static analysis;
Software systems;
24.
Rethinking Secure DevOps Threat Modeling: The Need for a Dual Velocity Approach
机译:
重新考虑安全的DevOps威胁建模:对双重速度方法的需求
作者:
Altaz Valani
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Security;
Data models;
Organizations;
Standards organizations;
Automation;
Scalability;
25.
Automating Threat Intelligence for SDL
机译:
为SDL自动化威胁情报
作者:
Raghudeep Kannavara
;
Jacob Vangore
;
William Roberts
;
Marcus Lindholm
;
Priti Shrivastav
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Security;
Feeds;
Product development;
Conferences;
Malware;
Stakeholders;
Databases;
26.
Reducing Attack Surface via Executable Transformation
机译:
通过可执行的转换减少攻击面
作者:
Sukarno Mertoguno
;
Ryan Craven
;
Daniel Koller
;
Matthew Mickelson
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Software;
Productivity;
Libraries;
Complexity theory;
Security;
Conferences;
Software engineering;
27.
Designing Secure and Resilient Embedded Avionics Systems
机译:
设计安全且具有弹性的嵌入式航空电子系统
作者:
Jason H. Li
;
Douglas Schafer
;
David Whelihan
;
Stefano Lassini
;
Nicholas Evancich
;
Kyung Joon Kwak
;
Michael Vai
;
Haley Whitman
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Security;
Real-time systems;
Aerospace electronics;
Laboratories;
Computer architecture;
Program processors;
28.
Data Integrity: Recovering from Ransomware and Other Destructive Events
机译:
数据完整性:从勒索软件和其他破坏性事件中恢复
作者:
Tim McBride
;
Anne Townsend
;
Michael Ekstrom
;
Lauren Lusty
;
Julian Sexton
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Ransomware;
NIST;
Data integrity;
Electronic mail;
29.
Securing Wireless Infusion Pumps
机译:
保护无线输液泵
作者:
Andrea Arbelaez
;
Sallie Edwards
;
Kevin Littlefield
;
Sue Wang
;
Kangmin Zheng
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
NIST;
Communication system security;
Wireless communication;
Medical services;
Ecosystems;
30.
Best Practice for Developing Secure and Trusted Enterprise Storage Computing Products
机译:
开发安全可靠的企业存储和计算产品的最佳实践
作者:
Xuan Tang
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Cryptography;
Computer architecture;
Usability;
Reliability;
Libraries;
31.
Experiment: Sizing Exposed Credentials in GitHub Public Repositories for CI/CD
机译:
实验:在GitHub公共存储库中针对CI / CD调整暴露凭证的大小
作者:
Hasan Yasar
会议名称:
《IEEE Cybersecurity Development》
|
2018年
关键词:
Automation;
Software engineering;
Buildings;
Password;
Conferences;
Pipelines;
32.
Avoiding Insecure C++ —How to Avoid Common C++ Security Vulnerabilities
机译:
避免Inecure C ++ - 以避免共同的C ++安全漏洞
作者:
Aaron Ballman
;
David Svoboda
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Encoding;
C++ languages;
Standards;
Guidelines;
Security;
Java;
33.
Using Dr. Fuzz, Dr. Memory, and Custom Dynamic Tools for Secure Development
机译:
使用Fuzz博士,记忆博士和自定义动态工具进行安全开发
作者:
Derek Bruening
;
Qin Zhao
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Tutorials;
Software;
Instruments;
Computer security;
Google;
Context;
Monitoring;
34.
Adopting Strict Content Security Policy for XSS Protection
机译:
采用严格的内容安全策略,用于XSS保护
作者:
Lukas Weichselbaum
;
Michele Spagnuolo
;
Artur Janc
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Tutorials;
Computer security;
Google;
Conferences;
Production;
Licenses;
35.
Auditing Code for Security Vulnerabilities with CodeSonar
机译:
用Codesonar审核安全漏洞的代码
作者:
David Vitek
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Tutorials;
C++ languages;
Computer security;
Analytical models;
Programming;
Java;
36.
How to find and fix software vulnerabilities with coverity static analysis
机译:
如何使用覆盖静态分析查找和修复软件漏洞
作者:
Bill Baloglu
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Software;
Conferences;
IEEE 802.11 Standard;
Computer security;
Real-time systems;
Virtual machining;
37.
Secure Coding for Real-Time Embedded Systems: Cert Run-Time Profile for Ada
机译:
用于实时嵌入式系统的安全编码:ADA的CERT运行时档案
作者:
Mable Benjamin
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Libraries;
Encoding;
Safety;
Software;
Rivers;
Security;
Standards;
38.
Secure MPC for Analytics as a Web Application
机译:
将MPC安全为Analytics作为Web应用程序
作者:
Andrei Lapets
;
Nikolaj Volgushev
;
Azer Bestavros
;
Frederick Jansen
;
Mayank Varia
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Protocols;
Cryptography;
Companies;
Data aggregation;
Aggregates;
Usability;
39.
Secure Multiparty Computation for Cooperative Cyber Risk Assessment
机译:
合作网络风险评估的安全多派计算
作者:
Kyle Hogan
;
Noah Luther
;
Nabil Schear
;
Emily Shen
;
David Stott
;
Sophia Yakoubov
;
Arkady Yerukhimovich
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Protocols;
Organizations;
Computer security;
Risk management;
Privacy;
IP networks;
40.
MOSAIC: A Platform for Monitoring and Security Analytics in Public Clouds
机译:
马赛克:公共云中监控和安全分析的平台
作者:
Alina Oprea
;
Ata Turk
;
Cristina Nita-Rotaru
;
Orran Krieger
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Cloud computing;
Monitoring;
Electronic mail;
Engines;
Computer security;
Intrusion detection;
41.
A case for combining industrial pragmatics with formal methods
机译:
用正式方法结合工业语用品的案例
作者:
Eric L. McCorkle
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Computer languages;
Pragmatics;
Cognition;
Safety;
Programming;
Kernel;
42.
Secure DevOps Process and Implementation
机译:
保护Devops流程和实施
作者:
Hasan Yasar
;
Kiriakos Kontostathis
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Computer security;
Solids;
Focusing;
Navigation;
Organizations;
Licenses;
43.
Software Vulnerabilities, Defects, and Design Flaws: A Technical Debt Perspective
机译:
软件漏洞,缺陷和设计缺陷:技术债务视角
作者:
Robert L. Nord
;
Ipek Ozkaya
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Software;
Tutorials;
Computer security;
Concrete;
Licenses;
44.
Continuous Fuzzing with libFuzzer and AddressSanitizer
机译:
使用Libfuzzer和AddressSanitizer连续模糊
作者:
Kosta Serebryany
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Linux;
Computer security;
Google;
Tutorials;
Detectors;
Portable computers;
C++ languages;
45.
Dependency-Based Attacks on Node.js
机译:
基于依赖性的Node.js攻击
作者:
Brian Pfretzschner
;
Lotfi ben Othmane
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Libraries;
Loading;
Computer security;
Interrupters;
Computer languages;
Syntactics;
46.
Safe Client/Server Web Development with Haskell
机译:
使用haskell安全客户端/服务器Web开发
作者:
Mark Mazumder
;
Timothy Braje
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Tutorials;
Servers;
Syntactics;
Programming;
Computer security;
Libraries;
47.
Codiscope SecureAssist?: The Developer's Security Assistant
机译:
Codiscope Secureassist?:开发人员的安全助理
作者:
Nivedita Murthy
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Tutorials;
Computer bugs;
Computer security;
Licenses;
48.
Beyond errno: Error Handling in “C”
机译:
超越errno:在“c”中处理错误
作者:
David Svoboda
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Tutorials;
Runtime;
C++ languages;
Computer security;
Software;
Computer crashes;
49.
Security Guarantees for the Execution Infrastructure of Software Applications
机译:
软件应用程序执行基础架构的安全保障
作者:
Frank Piessens
;
Dominique Devriese
;
Jan Tobias Mühlberg
;
Raoul Strackx
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Security;
Context;
Safety;
Hardware;
Program processors;
Sorting;
50.
Certified Lightweight Contextual Policies for Android
机译:
Android的认证轻量级上下文策略
作者:
Mohamed Nassim Seghir
;
David Aspinall
;
Lenka Marekova
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Smart phones;
Context;
Internet;
Access control;
Waste materials;
51.
Design Space Exploration for Security
机译:
设计空间探索
作者:
Eunsuk Kang
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Security;
Uniform resource locators;
Space exploration;
Engines;
Protocols;
Browsers;
Buildings;
52.
Self-Verifying Execution (Position Paper)
机译:
自我验证执行(位置纸)
作者:
Matt McCutchen
;
Daniel Song
;
Shuo Chen
;
Shaz Qadeer
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Protocols;
Security;
Certification;
Safety;
Runtime;
Cloud computing;
Concrete;
53.
The Seven Turrets of Babel: A Taxonomy of LangSec Errors and How to Expunge Them
机译:
七大炮塔:Langsec错误的分类,以及如何删除它们
作者:
Falcon Momot
;
Sergey Bratus
;
Sven M. Hallberg
;
Meredith L. Patterson
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Computer bugs;
Security;
Taxonomy;
Protocols;
Grammar;
Standards;
Complexity theory;
54.
Operational Security Log Analytics for Enterprise Breach Detection
机译:
用于企业漏洞检测的操作安全性日志分析
作者:
Zhou Li
;
Alina Oprea
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Security;
Organizations;
Feature extraction;
Virtual private networks;
IP networks;
Software;
Algorithm design and analysis;
55.
Leveraging Data Provenance to Enhance Cyber Resilience
机译:
利用数据出处来增强网络弹性
作者:
Thomas Moyer
;
Karishma Chadha
;
Robert Cunningham
;
Nabil Schear
;
Warren Smith
;
Adam Bates
;
Kevin Butler
;
Frank Capobianco
;
Trent Jaeger
;
Patrick Cable
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Computer architecture;
Instruments;
Databases;
Electronic mail;
Linux;
Kernel;
56.
Static Analysis Alert Audits: Lexicon Rules
机译:
静态分析警报审计:Lexicon和规则
作者:
David Svoboda
;
Lori Flynn
;
Will Snavely
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Organizations;
Standards organizations;
Computer bugs;
Security;
Software;
Software engineering;
57.
Automated Code Repair Based on Inferred Specifications
机译:
基于推断规范的自动化代码修复
作者:
William Klieber
;
Will Snavely
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Maintenance engineering;
Computer bugs;
Resource management;
Security;
Optimization;
Software;
Memory management;
58.
Hints for High-Assurance Cyber-Physical System Design
机译:
高保证网络物理系统设计提示
作者:
Lee Pike
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Software;
Buildings;
Computer architecture;
Cyber-physical systems;
Poles and towers;
Computers;
Automobiles;
59.
You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users
机译:
您不是您的开发人员,其中:超越最终用户的可用安全和隐私研究的研究议程
作者:
Yasemin Acar
;
Sascha Fahl
;
Michelle L. Mazurek
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Usability;
Privacy;
Encryption;
Context;
Electronic mail;
60.
Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications
机译:
应用款项计算模型在IOT应用程序中强制执行信息流策略
作者:
Amir Rahmati
;
Earlence Fernandes
;
Atul Prakash
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
smart phones;
authorisation;
data protection;
Internet of Things;
mobile computing;
61.
Software Security Investment: The Right Amount of a Good Thing
机译:
软件安全投资:适当的件好事
作者:
Chad Heitzenrater
;
Andrew Simpson
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Investment;
Biological system modeling;
Software;
Information security;
Computer security;
Economics;
62.
Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis
机译:
通过使用对抗性测试和行为分析构建强大的分布式系统和网络协议
作者:
Endadul Hoque
;
Cristina Nita-Rotaru
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Testing;
Semantics;
Computer bugs;
Robustness;
Transport protocols;
Heuristic algorithms;
63.
Maintaining Authorization Hook Placements Across Program Versions
机译:
在程序版本中维护授权挂钩展示
作者:
Nirupama Talele
;
Divya Muthukumaran
;
Frank Capobianco
;
Trent Jaeger
;
Gang Tan
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Authorization;
Servers;
Manuals;
Electronic mail;
Mediation;
64.
Towards Building Practical Secure Multi-party Databases
机译:
走向建立实用的安全多方数据库
作者:
Yuzhe Tang
;
Wenqing Zhuang
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Security;
Query processing;
Privacy;
Protocols;
Distributed databases;
65.
Toward Semantic Cryptography APIs
机译:
向语义密码学API
作者:
Soumya Indela
;
Mukul Kulkarni
;
Kartik Nayak
;
Tudor Dumitra?
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Cryptography;
Regulators;
Servers;
Semantics;
Production;
Algorithm design and analysis;
66.
Enforcing Content Security by Default within Web Browsers
机译:
在Web浏览器中默认实施内容安全性
作者:
Christoph Kerschbaumer
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Security;
Browsers;
W3C;
Loading;
Context;
Web pages;
67.
Code Randomization: Haven’t We Solved This Problem Yet?
机译:
代码随机化:我们还没有解决这个问题?
作者:
Stephen Crane
;
Andrei Homescu
;
Per Larsen
会议名称:
《IEEE Cybersecurity Development》
|
2016年
关键词:
Libraries;
Benchmark testing;
Androids;
Humanoid robots;
Registers;
Browsers;
Security;
意见反馈
回到顶部
回到首页