Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example

Osterweil Leon J.; Bishop Matt; Conboy Heather M.; Phan Huong; Simidchieva Borislava I.; Avrunin George S.; Clarke Lori A.; Peisert Sean

首页> 外文期刊>ACM Transaction on Information and System Security >Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example

【24h】

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example

机译：迭代分析以改善关键的人类密集过程的关键属性：选举安全示例

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this article, we present an approach for systematically improving complex processes, especially those involving human agents, hardware devices, and software systems. We illustrate the utility of this approach by applying it to part of an election process and show how it can improve the security and correctness of that subprocess. We use the Little-JIL process definition language to create a precise and detailed definition of the process. Given this process definition, we use two forms of automated analysis to explore whether specified key properties, such as security and safety policies, can be undermined. First, we use model checking to identify process execution sequences that fail to conform to event-sequence properties. After these are addressed, we apply fault tree analysis to identify when the misperformance of steps might allow undesirable outcomes, such as security breaches. The results of these analyses can provide assurance about the process; suggest areas for improvement; and, when applied to a modified process definition, evaluate proposed changes.

机译：在本文中，我们提出了一种系统地改善复杂过程的方法，尤其是涉及人员代理，硬件设备和软件系统的过程。我们通过将这种方法应用于选举过程的一部分来说明该方法的效用，并说明它如何提高该子过程的安全性和正确性。我们使用Little-JIL流程定义语言来创建流程的精确而详细的定义。根据此流程定义，我们使用两种形式的自动化分析来探究是否可以破坏指定的关键属性（例如安全性和安全性策略）。首先，我们使用模型检查来识别不符合事件序列属性的流程执行序列。在解决了这些问题之后，我们将应用故障树分析来确定步骤的错误执行何时可能导致不良后果，例如安全漏洞。这些分析的结果可以为过程提供保证；提出需要改进的地方；并将其应用于修改后的流程定义时，评估建议的更改。

著录项

来源
《ACM Transaction on Information and System Security》 |2017年第2期|5.1-5.31|共31页
作者
Osterweil Leon J.; Bishop Matt; Conboy Heather M.; Phan Huong; Simidchieva Borislava I.; Avrunin George S.; Clarke Lori A.; Peisert Sean;
展开▼
作者单位

Univ Massachusetts, Coll Informat &

Comp Sci, 140 Governors Dr, Amherst, MA 01003 USA.;

Univ Calif Davis, Dept Comp Sci, 1 Shields Ave, Davis, CA 95616 USA.;

Univ Massachusetts, Coll Informat &

Comp Sci, 140 Governors Dr, Amherst, MA 01003 USA.;

Univ Massachusetts, Coll Informat &

Comp Sci, 140 Governors Dr, Amherst, MA 01003 USA.;

Raytheon BBN Technol, Waltham, MA USA.;

Univ Massachusetts, Dept Math &

Stat, 710 N Pleasant St, Amherst, MA 01003 USA.;

Univ Massachusetts, Coll Informat &

Comp Sci, 140 Governors Dr, Amherst, MA 01003 USA.;

Univ Calif Davis, Dept Comp Sci, 1 Shields Ave, Davis, CA 95616 USA.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Process modeling; iterative analysis; model checking; fault tree analysis; elections;

机译：工艺建模;迭代分析;模型检查;故障树分析;选举;

相似文献

外文文献
中文文献
专利

1. Development of the ‘ People–Processes–Paradigm People–Processes–Paradigm ’ critical analysis tool for mortality and morbidity reviews: improving understanding of systems factors [J] . ANZ journal of surgery . 2020,第6期

机译：开发“人类流程 - 范式人民流程 - 范式”关键分析工具，用于死亡率和发病率评论：提高对系统因素的理解
2. Improving the Security Levels of E-government Processes within Public Administration through the Establishment of Improved Security Systems [J] . K? Andrea, Molnár Bálint Journal of computing and information technology . 2009,第2期

机译：通过建立改进的安全系统来提高公共管理中电子政务流程的安全级别
3. Improving the Security Levels of e-Government Processes within Public Administration through the Establishment of Improved Security Systems [J] . Andrea Koe, Balint Molnar Journal of Computing and Information Technology . 2009,第2期

机译：通过建立改进的安全系统来提高公共行政部门内电子政务流程的安全级别
4. Analysis of Appropriate Security Processes to Mitigate Risk in a Popular Election System [C] . Segundo Moisés Toapanta Toapanta, Christopher Eduardo Solís Salazar, Daniel Humberto Plua Moran, International Conference on Computer, Information and Telecommunication Systems . 2019

机译：大众选举系统中缓解风险的适当安全流程分析
5. Critical analysis and effectiveness of key parameters in residential property valuations. [D] . Lin, Chung-Chun. 2011

机译：住宅物业评估中关键参数的批判性分析和有效性。
6. Author Correction: Finite-key analysis for twin-field quantum key distribution with composable security [O] . Hua-Lei Yin, Zeng-Bing Chen -1

机译：作者更正：具有可组合安全性的双域量子密钥分配的有限密钥分析
7. ABSTRACT Various body parts or organs can be analysed to identify the different diseases in the human body. Fingernail analysis is one of the ways to identify disease in the human body. Nails are the body part which are farthest from the heart and therefore receive oxygen at last. As a result the nails are the first who show the symptoms of a disease in the human body. Fingernails can be easily captured for diagnosis and there are no heavy equipment or no specific conditions required to use nail image for disease diagnosis, like in other tests and scanning processes. Human nails deliver beneficial information about complaints or any nutritive imbalances in the human body depending upon their shape, texture and colour. In human beings, numerous systemic and skin diseases can be easily analyzed through careful examination of nails of both the limbs. A lot of nail illnesses have been found to be primary signs of numerous underlying systemic illnesses. The colour, texture or shape changes in nails are signs of many diseases mainly affecting nails. Considering all these properties of nails a system is proposed that uses digital image processing (DIP) methods for identifying such changes in the human nail to get more precise results and predict numerous diseases effortlessly. With the emerging Internet of Things (IOT) concept the generated report is made available remotely, this will help users to reduce transportation efforts. As the system has to deal with large and private data, the security of data must be ensured. To keep the data confidential, the Blockchain concept which is one of the most emerging concepts in the field of data management is used. The paper contains the implementation of the digital image processing for feature extraction of nail images, usage of IOT (ThingSpeak cloud) for data storage and implementation of Blockchain to keep the system secured and theft free. KEY WORDS: Int ernet of thin gs (IOT), Image proc essin g, Thin gSpeak, RG B vavalues, Mean pi xel vavalues, Bloc kchain , Hash key. Disease Diagnostic System: Abnormalities in Human Nail [O] . Pranav S. Wazarkar 2020

机译：摘要的各个身体部位或器官可被分析以识别在人体内的不同的疾病。指甲分析来识别人体疾病的方法之一。指甲是身体一部分是离心脏最远，因此在最后接受氧气。作为结果，指甲是第一谁表现出人体疾病的症状。指甲可以容易地捕获用于诊断和没有重装或需要使用指甲图像用于疾病诊断，比如在其他测试和扫描过程没有特定的条件。人的指甲提供有关投诉或取决于它们的形状，纹理和色彩在人体内的任何营养失衡有益的信息。在人类中，许多全身性皮肤疾病是可以很容易地通过两个四肢指甲的仔细检查分析。很多指甲病已发现众多潜在系统性疾病的主要症状。在指甲的颜色，质地和形状的变化是许多疾病主要影响指甲的迹象。考虑到所有的指甲的这些性能的系统被提出，用于识别人指甲这样的变化以获得更精确的结果，并毫不费力预测许多疾病用途的数字图像处理（DIP）方法。随着物联网（IOT）的概念，新兴的互联网将生成的报告提供远程，这将帮助用户降低运输工作。由于系统必须处理大量的私人数据，数据的安全性必须得到保证。为了保持数据的机密性，使用Blockchain的概念，它是在数据管理领域的大多数新兴的概念之一。本文包含了数字图像处理的指甲图像，IOT（ThingSpeak云）的使用为数据存储和执行Blockchain的特征提取的执行，以保持固定的系统和盗窃免费。关键词：诠释薄GS（IOT），图像的ERNET PROC essin克，薄型gSpeak，RG乙vavalues，平均数PI XEL vavalues，阵营kchain，哈希密钥。疾病诊断系统：在人类指甲异常

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example

摘要

著录项

相似文献

相关主题

期刊订阅