掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE international conference on secure integration and reliability improvement
IEEE international conference on secure integration and reliability improvement
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Probabilistic Programming With Coordination and Compensation
机译:
具有协调和赔偿的概率规划
作者:
Ji-Feng He
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
2.
'Complexity-Interoperability-Deployment of Software': Are we on the right way of progress in the Software Industry?
机译:
“复杂性 - 互操作性 - 软件部署”:我们是在软件行业的正确进步方面吗?
作者:
Rudolf Siebenhofer
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
3.
'Systematic Cooperation between Industry and Universities-The Siemens IT Solutions and Services Experience'
机译:
“工业与大学之间的系统合作 - 西门子IT解决方案和服务经验”
作者:
Rudolf Siebenhofer
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
4.
Automatic Test Data Generation : Who, When and Where ?
机译:
自动测试数据生成:谁,何时何地?
作者:
Software Engineering
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
5.
Reliability for Software-Based Systems
机译:
基于软件系统的可靠性
作者:
Frances Paulisch
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
6.
Simplifying Parametrization of Bayesian Networks in Prediction of System Quality
机译:
简化贝叶斯网络的参数化预测系统质量
作者:
Aida Omerovic
;
Ketil Stolen
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
7.
An Approach to Improving Reliability for Distributed Video-Based Monitoring Systems
机译:
一种提高分布式基于视频监控系统可靠性的方法
作者:
Michael Jiang
;
Yaping Liu
;
Xinzheng Gu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
8.
Improvement of QoS in Process Centric Software Development Using ANF
机译:
在过程中为中心的软件开发中的QoS改进
作者:
A.SRIVIDYA
;
K.KRISHNA MOHAN
;
A.K.VERMA
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Analytical Network Process;
Rational Unified Process;
Quality of service;
Software Development;
9.
Security Engineering: Developments and Directions
机译:
安全工程:发展和方向
作者:
Bhavani Thuraisingham
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
10.
Path-based Approach to Integration Testing
机译:
基于路径的集成测试方法
作者:
Jueliang Hu
;
Zuohua Ding
;
Geguang Pu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Integration Testing;
Path Analysis;
Program Slicing;
11.
Reliability Computing For Service Composition
机译:
服务组合的可靠性计算
作者:
Zuohua Ding
;
Mingyue Jiang
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
12.
A Turing Machine-Based Model for Computer Forensic Reconstruction
机译:
一种基于计算机法医重建模型的模型
作者:
Ryan Hankins
;
Tetsutaroh Uehara
;
Jigang Liu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
13.
Implementation of the Privacy Protection in Video Surveillance System
机译:
视频监控系统中隐私保护的实施
作者:
Hae-Min Moon
;
Sung Bum Pan
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
privacy protection;
surveillance;
RFID system;
14.
JPEG 2000 and Digital Watermarking Technique Using in Medical Image
机译:
JPEG 2000和数字水印技术在医学图像中使用
作者:
Sung-Jin Lim
;
Hae-Min Moon
;
Seung-Hoon Chae
;
Yongwha Chung
;
Sung Bum Pan
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Digital watermarking;
medical image;
JPEG 2000;
15.
The 1st Workshop on Testing Technologies and Tools for Critical Industry Applications Improving Test Quality by a Test Type Analysis Based Method
机译:
基于测试类型分析的方法改进测试质量的关键行业应用测试技术和工具的第一次研讨会
作者:
Qin Liu
;
Wenqiang Zheng
;
JunFei Ma
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Test analysis method;
Test Type;
Test effectiveness;
DDP;
16.
Automated Web Service Composition System on Enterprise Service Bus
机译:
企业服务总线自动Web服务组合系统
作者:
Xinhuai Tang
;
Sizhe Sun
;
Xiaozhou Yuan
;
Delai Chen
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Enterprise Service Bus;
web service conposition;
AI Planning;
Matchmaking;
17.
Adaptation Strategies for Performance Failure Avoindance
机译:
适应性恢复性能失败的调整策略
作者:
Hong Sun
;
Vincenzo De Florio
;
Ning Gui
;
Raf Hens
;
Bert Vankeirsbilck
;
Bart Dhoedt
;
Chris Blondia
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Adaptation;
OSGi;
failure avoidance;
Quality of Experience;
Aspect Oriented Programming;
18.
Software Stability Model (SSM)for Building Reliable Real Time Computing Systems
机译:
用于构建可靠实时计算系统的软件稳定性模型(SSM)
作者:
Naganathan.E.R.
;
Eugene X.P.
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Software Stability Pattern;
Transaction Processing System;
Enduring Business Themes;
Business Objects;
Industrial Object;
Adaptive Control;
Controllability;
Observability;
19.
CacheBit: A Multisource-Multitarget Cache Instrumentation Tool
机译:
CacheBit:Multisource-MultiTarget缓存仪表工具
作者:
Chao Xu
;
Jinghui Gu
;
Ling Lin
;
Alei Liang
;
Haibing Guan
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
instrumentation;
cahce simulating;
dynamic binary translation;
20.
Analyzing Relation between Software Architecture Testing Criteria on Test Sequences
机译:
试验序列软件架构测试标准的关系分析
作者:
Lijun Lun
;
Xuemei Ding
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Software architecture testing;
CHAM;
rule dependence graph;
test sequences;
21.
Six-Sigma Based Performance Verification in Early Development of Automatic Test Equipment
机译:
基于六西格玛的自动测试设备的早期发展的性能验证
作者:
Madhu Kilari
;
Qiyu Huang
;
Tongdan Jin
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Design for Six-Sigma;
Measurement Uncertainty;
Performance Verification;
22.
Extending Model Driven Architecture with Software Security Assessment
机译:
使用软件安全评估扩展模型驱动架构
作者:
Xucheng Tang
;
Beijun Shen
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Software Security Assessment;
Model-driven Architecture;
23.
Multidimensional Approach to Quality Analysis of IPSec and HTTPS Applications
机译:
IPSec和HTTPS应用的质量分析的多维方法
作者:
Marcin Barylski
;
Henryk Krawczyk
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
security;
performance;
distributed applications;
quality;
metrics;
relations;
testing;
24.
Checking Service Instance Protection for AMF Configurations
机译:
检查AMF配置的服务实例保护
作者:
P. Salehi
;
F. Khendek
;
M. Toeroe
;
A. Hamou-Lhadj
;
A. Gherbi
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Availability Management Framework;
Configurations;
Service Instance Protection;
Validation;
Complexity;
25.
The 1st Workshop on Testing Technologies and Tools for Critical Industry Applications A Safe Approach to Shrink Email Sample Set while Keeping Balance between Spam and Normal
机译:
测试技术和工具的第一个研讨会,为关键行业应用程序提供了一种安全的方法来缩小电子邮件样本集,同时保持垃圾邮件和正常之间的平衡
作者:
Lili Diao
;
Hao Wang
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
anti-spam;
machine learning;
SVM;
26.
Semantic ACP2P Information Retrieval Method
机译:
语义ACP2P信息检索方法
作者:
Haibo Yu
;
Tsunenori Mine
;
Makoto Amamiya
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
semantic desktop;
information retrieval;
peer-to-peer;
multi-agent system;
27.
The 1st Workshop on Model-Based Verification Validation Directed Acyclic Graph Modeling of Security Policies for Firewall Testing
机译:
基于模型的验证和验证的第一个研讨会针对防火墙测试的安全策略的无循环图建模
作者:
T. Tuglular
;
O. Kaya
;
C. A. Müftüoglu
;
F. Belli
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Firewalls;
Firewall Policies;
Directed Acyclic Graphs;
Event Sequence Graphs;
Firewall Testing;
Security Testing;
28.
A Comparative Study of Access Control Languages
机译:
访问控制语言的比较研究
作者:
Sathish Pinagapani
;
Dianxiang Xu
;
Jun Kong
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
access control;
authentication;
authorization;
software metrics;
XACML;
JAAS;
ACL;
29.
A New Method to Generate Attack Graphs
机译:
一种生成攻击图的新方法
作者:
Anming Xie
;
Guodong Chen
;
Yonggang Wang
;
Zhong Chen
;
Jianbin Hu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
network security;
attack graphs;
host access graph;
sub-attack graph;
30.
A Trust-Based Detecting Mechanism against Profile Injection Attacks in Recommender Systems
机译:
一种基于信任的检测机制,其推荐系统中的注入攻击
作者:
Qiang Zhang
;
Yuan Luo
;
Chuliang Weng
;
Minglu Li
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
31.
The 1st Workshop on Model-Based Verification Validation Communication Sequence Graphs for Mutation-Oriented Integration Testing
机译:
基于模型的验证和验证通信序列图的第一个研讨会,用于突变导向的集成测试
作者:
Fevzi Belli
;
Axel Hollmann
;
Sascha Padberg
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Software testing;
integration testing;
communication sequence graphs;
mutation testing;
32.
Test-Data Generation for Web Services Based on Contract Mutation
机译:
基于合同突变的Web服务测试数据生成
作者:
Ying Jiang
;
Ying-Na Li
;
Shan-Shan Hou
;
Lu Zhang
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
33.
Security Variability Design and Analysis in an Aspect Oriented Software Architecture
机译:
面向方面的安全变异性设计与分析
作者:
Lirong Dai
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
security variability design and analysis;
software architecture;
aspect oriented;
34.
A fast and flexible Platform for Fault Injection and Evaluation in Verilog-based Simulations
机译:
基于Verilog的模拟中的故障注射和评估快速灵活的平台
作者:
David Kammler
;
Junqing Guan
;
Gerd Ascheid
;
Rainer Leupers
;
Heinrich Meyr
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Fault injection;
failure evaluation;
Verilog;
Verilog programming interface (VPI);
35.
Java Card Performance Optimization of Secure Transaction Atomicity based on Increasing the Class Field Locality
机译:
基于增加类现场局部性的java卡性能优化安全交易原子
作者:
Johannes Loinig
;
Christian Steger
;
Reinhold Weiss
;
Ernst Haselsteiner
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
36.
Generating Test Cases for Timed Systems from Controlled Natural Language Specifications
机译:
从受控自然语言规格生成定时系统的测试用例
作者:
Matthias Schnelte
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
test case generation;
thned systems;
controlled natural language;
planning;
37.
A Developed Dynamic Environment Fault Injection Tool for Component Security Testing
机译:
组件安全测试的开发动态环境故障注入工具
作者:
Binbin Qu
;
Ying Huang
;
Xiaodong Xie
;
Yansheng Lu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
third party component security test;
environment fault injection;
API interception;
38.
Research and Evaluation on Modularity Modeling in Community Detecting of Complex Network Based on Information Entropy
机译:
基于信息熵的社区检测模块化建模研究与评价
作者:
Xiaolong Deng
;
Bai Wang
;
Bin Wu
;
Shengqi Yang
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Information Entropy;
Complex Network;
Community Structure;
Modularity;
39.
Reliability Prediction of Web Service Composition Based on DTMC
机译:
基于DTMC的Web服务组成可靠性预测
作者:
REN Yingxin
;
GU Qing
;
QI Jingxian
;
CHEN Daoxu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Web service composition;
Reliability;
DTMC;
Execution Scenarios;
Service Dependency Graph;
40.
State Space Reduction for Verifying Noninterference
机译:
验证非干扰的状态空间减少
作者:
Conghua Zhou
;
Li Chen
;
Shiguang Ju
;
Zhifeng Liu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
noninterference;
abstraction;
intransitive noninterference;
41.
An Efficient and Secure Multi-Secret Image Sharing Scheme with General Access Structure
机译:
具有一般访问结构的高效和安全的多秘密图像共享方案
作者:
Ching-Fan Lee
;
Justie Su-Tzu Juan
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
(t, n)-threshold secret sharing scheme;
multi-secret;
multi-use;
share;
general access structure;
42.
FiLM: A Runtime Monitoring Tool for Distributed Systems
机译:
电影:分布式系统的运行时监控工具
作者:
Fuyuan Zhang
;
Zhengwei Qi
;
Haibing Guan
;
Xuezheng Liu
;
Mao Yang
;
Zheng Zhang
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
runtime monitoring;
finite automata;
LTL;
distributed systems;
43.
Efficient Multi-secret Sharing Scheme Using Room Square
机译:
使用房间广场有效的多秘密共享方案
作者:
Ming-Jheng Li
;
Ying-Hsuan Chang
;
Justie Su-Tzu Juan
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
secret sharing scheme;
room square;
multi-use;
multi-secret;
44.
A Game Theoretic Approach to Decision and Analysis in Strategies of Attack and Defense
机译:
攻击战略决策与分析的游戏理论方法
作者:
Jin-Cherng Lin
;
Jan-Min Chen
;
Chou-Chuan Chen
;
Yu-Shu Chien
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Game Theory;
Network Security;
Minimax TheoremB;
45.
ReconBin: Reconstructing Binary File from Execution for Software Analysis
机译:
重新签署:从执行中重建二进制文件进行软件分析
作者:
Lingyun YING
;
Purui SU
;
Dengguo FENG
;
Xianggen WANG
;
Yi YANG
;
Yu LIU
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
execution monitoring;
software security analysis;
malware analysis;
binary analysis;
46.
A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation
机译:
基于图形模型的测试方法与用于测试案例生成的分类树方法相比
作者:
Fevzi Belli
;
Axel Hollmann
;
Markus Kleinselbeck
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
event sequence graphs;
electronic control units;
classification tree method;
47.
Anchored Text For Software Weaving and Merging
机译:
用于软件编织和合并的锚定文本
作者:
Pradeep Varma
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
software merging;
software weaving;
refactoring;
anchored text;
multi-dimensional separation of concerns (MDSOC);
simultaneous concerns;
highly-concurrent;
porting concerns;
atomic registers;
48.
Verifying Aspect-oriented Programs using Open Temporal Logic
机译:
使用打开的时间逻辑验证面向方面的程序
作者:
Jia Lv
;
Jing Ying
;
Minghui Wu
;
Tao Jiang
;
Fanwei Zhu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
temporal logic;
formal specification;
formal verification;
aspect-oriented language;
program proof;
reliability;
49.
The 1st Workshop on Model-Based Verification Validation Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment
机译:
基于模型的验证和验证时间规范和分布式组件模型的演绎验证的第一研讨会及其环境
作者:
Alessandro Basso
;
Alexander Bolotov
;
Vladimir Getov
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Grid Component Model;
Grid IDE;
Automated Reconfiguration;
Formal Specification;
Deductive Reasoning;
50.
A Classification of Aspect Composition Problems
机译:
方面构成问题的分类
作者:
Kun Tian
;
Kendra Cooper
;
Kang Zhang
;
Huiqun Yu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
aspect composition problems;
aspect conflicts;
aspect interference;
(key words);
51.
On the Verification of Strong Atomicity in Programs using STM
机译:
关于使用STM验证计划中的强大原子
作者:
Yong Li
;
Yu Zhang
;
Yiyun Chen
;
Ming Fu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
transactional memory;
strong atomicity;
proof- carrying code;
52.
Architectural Availability Analysis of Software Decomposition for Local Recovery
机译:
本地恢复软件分解的架构可用性分析
作者:
Hichem Boudali
;
Hasan Sozer
;
Marielle Stoelinga
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
53.
An Analysis for Understanding Software Security Requirement Methodologies
机译:
了解软件安全要求方法的分析
作者:
Jing Du
;
Ye Yang
;
Qing Wang
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Software;
Security Requirement;
Requirement Methodology;
Literature Review and Analysis;
54.
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics
机译:
一种新的模型方法和分析死路消除语义下的WS-BPEL过程
作者:
Chunxiang Xu
;
Hanpin Wang
;
Wanling Qu
;
Meixia Zhu
;
Yu Huang
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
55.
A DSL Framework for Policy-based Security of Distributed Systems
机译:
用于分布式系统的基于策略安全性的DSL框架
作者:
Hedi HAMDI
;
Mohamed Mosbah
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
DSL;
Security policy;
compilation;
specification;
verification;
implementation;
56.
Recursive Decomposition of Progress Graphs
机译:
进度图的递归分解
作者:
David A. Cape
;
Bruce M. McMillin
;
Benjamin W. Passer
;
Mayur Thakur
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
deadlock;
dihomotopy;
LTL;
SPIN;
verification;
57.
Detection of Multiple-Duty-Related Security Leakage in Access Control Policies
机译:
检测访问控制策略中的多义相关安全泄漏
作者:
JeeHyun Hwang
;
Tao Xie
;
Vincent C. Hu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Validation;
Policy Verification;
Access Control Policies;
58.
The 1st Workshop on Testing Technologies and Tools for Critical Industry Applications Automatic Test Data Generation for C Programs
机译:
关于关键行业应用的测试技术和工具的第一个研讨会自动测试C程序的数据生成
作者:
Prasad Bokil
;
Priyanka Darke
;
Ulka Shrotri
;
R. Venkatesh
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
59.
A Comparative Study of Forensic Science and Computer Forensics
机译:
法医学与计算机取证的比较研究
作者:
Ryan Hankins
;
Tetsutaroh Uehara
;
Jigang Liu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Computer Forensics;
Forensic Science;
Comparative Study;
60.
Environmental Metrics for Software Security Based on a Vulnerability Ontology
机译:
基于漏洞本体的软件安全环境指标
作者:
Ju An Wang
;
Minzhe Guo
;
Hao Wang
;
Min Xia
;
Linfeng Zhou
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
Software products;
Security metrics;
Environmental score;
Ontology;
61.
Software Reliability Prediction and Analysis Using Queueing Models with Multiple Change-Points
机译:
软件可靠性预测和分析使用多种变化点的排队模型
作者:
Chin-Yu Huang
;
Tsui-Ying Hung
;
Chao-Jung Hsu
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
62.
Performance Testing of Mobile Applications at the Unit Test Level
机译:
单位测试水平移动应用的性能测试
作者:
Heejin Kim
;
Byoungju Choi
;
W. Eric Wong
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
63.
Provable Secure AKA Scheme with Reliable Key Delegation in UMTS
机译:
在UMTS中提供可靠关键代表团的可证明安全的AKA方案
作者:
Yu-Lun Huang
;
C. Y. Shen
;
Shiuhpyng Shieh
;
Hung-Jui Wang
;
Cheng-Chun Lin
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
authentication;
UMTS AKA;
Man-in-the-middle attack;
redirection attack;
64.
Visualizing Multiple Program Executions to Assist Behavior Verification
机译:
可视化多个程序执行以协助行为验证
作者:
Chunying Zhao
;
Kang Zhang
;
Jie Hao
;
W. Eric Wong
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
software visualization;
dynamic behavior comparison;
correlation visualization;
65.
Scheduling and Controlling Semantics for Distributed Resource Based Computing Engines
机译:
分布式资源基于计算引擎的调度和控制语义
作者:
Pradeep Varma
;
Vijay K. Naik
会议名称:
《IEEE international conference on secure integration and reliability improvement》
|
2009年
关键词:
resource configuration;
formal model;
denotational semantics;
operational semantics;
scheduling and controlling;
autonomic and cloud computing;
意见反馈
回到顶部
回到首页