首页>外文会议>其他>IET International Conference on System Safety and Cyber Security

IET International Conference on System Safety and Cyber Security

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.The application of ???human systems integration??? to safety-critical-systems design

机译：???人体系统集成???安全 - 关键系统设计
- 作者：Semling C.;Norton S.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Human Factors;
- Human Systems Integration;
- IEC 61508;
- Psychology;
- Safety;
2.Safety assessment of smart instruments for the nuclear industry

机译：核工业智能仪器的安全评估
- 作者：Corrao G.C.;Hatton S.;Lewthwaite J.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- EMPHASIS;
- Functional Safety;
- IEC 61508;
- Independent Confidence Building Measures;
- Production Excellence;
3.Cyber security of the railway signalling control system

机译：铁路信号和控制系统的网络安全
- 作者：Bastow M.D.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- ICS;
- Rail;
- SCADA;
- Safety;
- Security;
4.SPARK 2014: a language for safety and security

机译：Spark 2014：一种安全和安全的语言
- 作者：Schanda F.L.F.;Matthews S.R.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- SPARK;
- formal methods;
- safety;
- security;
- static analysis;
5.Attack visualisation for cyber-security situation awareness

机译：网络安全局势意识的攻击可视化
- 作者：Evangelopoulou M.;Johnson C.W.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Cloud Computing;
- CyberSA;
- Intrusion Detection;
- Situation Awareness;
- Visualisation;
6.Securing a railway control system

机译：确保铁路控制系统
- 作者：Milligan D.B.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- CSMS;
- Control;
- Managing;
- Rail;
- Security;
7.Some potential issues with the security of HTML5 indexedDB

机译：HTML5 IndexedDB的安全性一些潜在问题
- 作者：Kimak Stefan;Ellman Jeremy;Laing Christopher
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Component web security;
- Encase;
- Forensic Test;
- IndexedDB;
- Security;
8.A pragmatic approach to capturing safety and security relevant information for reusable european component oriented architecture software components

机译：捕获可重复使用的欧洲组件面向架构软件组件的安全性和安全相关信息的务实方法
- 作者：Fenn J.;Cornilleau T.;Oakshott Y.;Britto A.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Component;
- Reuse;
- Safety;
- Security;
- Software;
9.Software design decision vulnerability analysis

机译：软件设计决策漏洞分析
- 作者：Avery P.G.;Hawkins R.D.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- analysis;
- decision;
- design;
- safety;
- software;
10.Proving properties of automotive systems of systems under ISO 26262 using automated formal methods

机译：使用自动形式方法证明ISO 26262下系统机械系统的特性
- 作者：Tudor N.J.;Botham J.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- ISO 26262;
- formal methods;
- functional safety;
- model checking;
11.Safety and security of the smart city ??? when our infrastructure goes online

机译：智能城市的安全和安全???当我们的基础设施上线时
- 作者：St. John-Green Mike;Watson Tim
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Cyberspace;
- critical infrastructure;
- safety;
- security;
- smart cities;
12.Probative blindness: how safety activity can fail to update beliefs about safety

机译：概要失明：安全活动如何无法更新安全的信仰
- 作者：Rae A.J.;McDermid J.A.;Alexander R.D.;Nicholson M.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- accident investigation;
- safety analysis;
13.Safe and secure: re-engineering a software process set for the challenges of the 21st century

机译：安全和安全：重新设计用于21世纪挑战的软件流程
- 作者：Wallace K.R.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Process;
- Risk;
- Safety;
- Security;
- Software;
14.An approach to the certification of autonomous systems

机译：一种自主系统认证的方法
- 作者：Tudor N.J.;Wharen K.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Autonomy;
- Certification;
- Formal Methods;
- Safety;
- Security;
15.Defence standard 00-56 issue 5: concepts, principles and pragmatics

机译：国防标准00-56问题5：概念，原则和语用学
- 作者：McDermid John /A/.;Williams Phil
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Contracting for Safety;
- Defence;
- Safety Management;
- Safety Standards;
16.Learning from experience ??? how can we produce a nuclear safety case to outlast the station?

机译：从经验中学习???我们如何生产核安全案例以比车站更长时间？
- 作者：Brain J.M.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Availability Maintainability;
- Reliability;
- Safety Case;
17.How did systems get so safe without adequate analysis methods?

机译：没有足够的分析方法，系统如何获得如此安全？
- 作者：McDermid J.A.;Rae A.J.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Weaknesses in safety analysis;
- complexity;
- good safety records;
- high reliability organisations;
18.Integrated architecture framework and security risk management for complex systems

机译：复杂系统的集成架构框架和安全风险管理
- 作者：Andrews C.;Monk C.;Johnston R.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Architecture;
- Assurance;
- Framework;
- Risk;
- Security;
19.Synthesizing optimal security configurations for enterprise networks : a formal approach

机译：合成企业网络的最佳安全配置：正式的方法
- 作者：Majhi S.K.;Bera P.;Kumar S.;Al-Shaer Ehab;Satpathy M.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
20.Trustworthy software: lessons from ???goto fail??? heartbleed bugs

机译：值得信赖的软件：从???转到失败???令人毛骨悚然的虫子
- 作者：Boyes H.A.;Norris P.;Bryant I.;Watson T.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Heartbleed;
- cyber security;
- embedded systems;
- software defect;
- trustworthy software;
21.Tools and techniques for reporting and analysing the causes of cyber-security incidents in safety-critical systems

机译：报告和分析安全关键系统中网络安全事件原因的工具和技术
- 作者：Johnson C.W.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Cyber-Security;
- Forensics;
- Incident Reporting;
- Intrusion Detection Systems;
- Safety-Critical Systems;
22.Multicore MILS

机译：多乐米尔斯
- 作者：Parkinson P.J.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- CDS;
- MILS;
- MLS;
- multicore;
- security;
23.Governance, risk and compliance: impediments and opportunities for managing operational technology risk in industrial cyber security and safety

机译：治理，风险和遵守：管理工业网络安全和安全运营技术风险的障碍和机遇
- 作者：Piggin R.S.H.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Cyber Physical Systems;
- Cyber Security;
- Governance;
- ICS;
- IOT;
- IT;
- OT;
- Risk;
- SCADA;
24.The safety three-layer framework: a case study

机译：安全三层框架：一个案例研究
- 作者：Standish M.;Auld H.J.;Caseley P.R.;Hadley M.J.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Arguments;
- Evidence;
- Framework;
- Models;
- Safety Case;
- System-of-Systems (SoS);
25.Safety case development: a process to implement the safety three-layered framework

机译：安全案例开发：实施安全三层框架的过程
- 作者：Standish M.;Auld H.J.;Caseley P.R.;Hadley M.J.
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2014年
- Arguments;
- Evidence;
- Models;
- Modular Safety Case;
- System-of-Systems (SoS);
26.Comparing SPAD severity assessments between train drivers and railway safety advisors

机译：比较火车司机与铁路安全顾问的Shad严重性评估
- 作者：A. L. Aas
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- SPAD;
- Human Factors;
- Railway;
- Safety culture;
- Incident assessment;
27.SECURITY AND SAFETY OF FPGAS IN NUCLEAR SAFETY SYSTEMS: BENEFITS AND CHALLENGES

机译：FPGA在核安全系统中的安全和安全：福利和挑战
- 作者：R. Piggin;C. Sampson
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- FPGA;
- Nuclear;
- Cyber;
- Security;
- Safety Camp;
- I;
- Iamp;
- C;
28.Designing safe and secure autopilots for the urban environment

机译：为城市环境设计安全和安全的自动驾驶仪
- 作者：S. Norton;H. I. Akram
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Autopilot;
- Functional Safety;
- Functional Security;
- Autonomous Driving;
- Advanced Driver Assistance Systems;
29.ACTIVE DEFENCE USING AN OPERATIONAL TECHNOLOGY HONEYPOT

机译：使用操作技术蜜罐主动防御
- 作者：R. Piggin;I. Buffey
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Honeypot;
- Operational Technology;
- Cyber;
- Security;
- ICS;
- Industrial Internet of Things;
- Cyber-Physical Systems;
- SCADA;
30.Safer marine and offshore software with formal-verification-based guidelines

机译：具有正式验证的准则的更安全的海洋和海上软件
- 作者：Lucas Duboc;Sebastien Flanc;Florent Kirchner;Helene Marteau;Virgile Prevosto;Franck Sadmi;Franck Vedrine
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Safety;
- Marine amp;
- Offshore;
- Software standards;
- Static analysis;
- White-box approach;
31.Data Centric - the Sixth Age of Safety: Communications Enabled Transition from Function to Service

机译：数据中心 - 第六岁的安全时代：通信使得从功能转换到服务
- 作者：Mark Nicholson;Alastair Faulkner
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Data Centric;
- Safety;
- Function;
- Service;
32.CYBER SECURITY OF OPERATIONAL TECHNOLOGY: UNDERSTANDING DIFFERENCES AND ACHIEVING BALANCE BETWEEN NUCLEAR SAFETY AND NUCLEAR SECURITY

机译：网络运营技术的网络安全：了解核安全和核安全之间的差异和实现平衡
- 作者：P. Litherland;R. Orr;R. Piggin
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Operational Technology;
- ICS;
- SCADA;
- Cyber Security;
- Nuclear Safety;
- Nuclear Security;
- NISR 2003;
- Culture;
- Behaviours;
33.An Approach for the Assurance of Legacy Systems Based on Programmable Electronic Hardware

机译：基于可编程电子硬件的传统系统保证的方法
- 作者：J. S. Sagoo
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- PEH;
- Assurance;
- Safety assessments;
- Formal modelling;
34.CLAIMS AND ARCHITECTURES TO RATIONATE ON AUTOMATIC AND AUTONOMOUS FUNCTIONS

机译：索赔和架构在自动和自主函数上进行竞争
- 作者：P. R. Caseley
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Architectures;
- Automatic;
- Autonomous;
- Safety;
- Security;
35.Visualizing properties of Simulink models

机译：可视化Simulink模型的属性
- 作者：Gregory N. Anderson;Ashlie B. Hocking;John C. Knight
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Simulink verification;
- Simulink semantics;
36.Cyberattacks across academic organisations: Analysis of attacks and guidelines to improve defence

机译：跨学术组织的网络攻击：分析改善防御的攻击和指导方针
- 作者：D. V. A. Maia
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Cyberattacks;
- Guidelines;
- Academic organisations;
37.The XYZ of Data Safety

机译：数据安全的XYZ
- 作者：Alastair Faulkner;Mark Nicholson
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Data;
- Safety;
- Method;
- Process;
38.Evaluation of a Total Aviation System approach for the certification of aeronautical products, systems, and services

机译：评估航空制品，系统和服务认证的总航空系统方法
- 作者：Simone Rozzi;Luca Save;Rombout Wever;Stephen Bull
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Aeronautical certification;
- Safety;
- Safety argument;
- Validation;
39.Implementing the Data Safety Guidance

机译：实施数据安全指导
- 作者：L. Harney
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Data safety;
- Assessment;
40.Comparing Software Safety Standards EUROCAE ED-153 and IEC 61508

机译：比较软件安全标准EUROCAE ED-153和IEC 61508
- 作者：Peter Bernard Ladkin
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
41.System software quality assurance for safety critical systems

机译：安全关键系统的系统软件质量保证
- 作者：Joe Evans
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Quality-assurance;
- Software;
- Safety;
- SIL;
- ISA;
42.Comparing SPAD severity assessments between train drivers and railway safety advisors

机译：比较火车司机与铁路安全顾问的Shad严重性评估
- 作者：A. L. Aas
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- SPAD;
- Human Factors;
- Railway;
- Safety culture;
- Incident assessment;
43.ACTIVE DEFENCE USING AN OPERATIONAL TECHNOLOGY HONEYPOT

机译：使用操作技术蜜罐主动防御
- 作者：R. Piggin;I. Buffey
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Honeypot;
- Operational Technology;
- Cyber;
- Security;
- ICS;
- Industrial Internet of Things;
- Cyber-Physical Systems;
- SCADA;
44.Safer marine and offshore software with formal-verification-based guidelines

机译：具有正式验证的指南的更安全的海洋和海上软件
- 作者：Lucas Duboc;Sebastien Flanc;Florent Kirchner;Helene Marteau;Virgile Prevosto;Franck Sadmi;Franck Vedrine
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Safety;
- Marine amp;
- Offshore;
- Software standards;
- Static analysis;
- White-box approach;
45.The XYZ of Data Safety

机译：数据安全的XYZ
- 作者：Alastair Faulkner;Mark Nicholson
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Data;
- Safety;
- Method;
- Process;
46.CYBER SECURITY OF OPERATIONAL TECHNOLOGY: UNDERSTANDING DIFFERENCES AND ACHIEVING BALANCE BETWEEN NUCLEAR SAFETY AND NUCLEAR SECURITY

机译：运营技术的网络安全：了解核安全和核安全之间的差异和实现平衡
- 作者：P. Litherland;R. Orr;R. Piggin
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Operational Technology;
- ICS;
- SCADA;
- Cyber Security;
- Nuclear Safety;
- Nuclear Security;
- NISR 2003;
- Culture;
- Behaviours;
47.Cyberattacks across academic organisations: Analysis of attacks and guidelines to improve defence

机译：跨学术组织的网络攻击：分析攻击和改善防御的准则
- 作者：D. V. A. Maia
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Cyberattacks;
- Guidelines;
- Academic organisations;
48.Data Centric - the Sixth Age of Safety: Communications Enabled Transition from Function to Service

机译：数据中心 - 第六龄安全：通信使从功能转换到服务
- 作者：Mark Nicholson;Alastair Faulkner
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Data Centric;
- Safety;
- Function;
- Service;
49.CLAIMS AND ARCHITECTURES TO RATIONATE ON AUTOMATIC AND AUTONOMOUS FUNCTIONS

机译：索赔和架构在自动和自主函数上进行竞争
- 作者：P. R. Caseley
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Architectures;
- Automatic;
- Autonomous;
- Safety;
- Security;
50.An Approach for the Assurance of Legacy Systems Based on Programmable Electronic Hardware

机译：基于可编程电子硬件的传统系统保证的方法
- 作者：J. S. Sagoo
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- PEH;
- Assurance;
- Safety assessments;
- Formal modelling;
51.Visualizing properties of Simulink models

机译：可视化Simulink模型的属性
- 作者：Gregory N. Anderson;Ashlie B. Hocking;John C. Knight
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Simulink verification;
- Simulink semantics;
52.Evaluation of a Total Aviation System approach for the certification of aeronautical products, systems, and services

机译：评估航空制品，系统和服务认证的总航空系统方法
- 作者：Simone Rozzi;Luca Save;Rombout Wever;Stephen Bull
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Aeronautical certification;
- Safety;
- Safety argument;
- Validation;
53.Implementing the Data Safety Guidance

机译：实施数据安全指导
- 作者：L. Harney
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Data safety;
- Assessment;
54.System software quality assurance for safety critical systems

机译：安全关键系统的系统软件质量保证
- 作者：Joe Evans
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年
- Quality-assurance;
- Software;
- Safety;
- SIL;
- ISA;
55.Comparing Software Safety Standards EUROCAE ED-153 and IEC 61508

机译：比较软件安全标准EUROCAE ED-153和IEC 61508
- 作者：Peter Bernard Ladkin
- 会议名称：《IET International Conference on System Safety and Cyber Security》 | 2017年