2011 Eighth International Conference on Quantitative Evaluation of SysTems最新文献_第2页

The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems 多重非对称效用系统模型:网络-人系统建模的框架

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.38

Douglas Eskins, W. Sanders

{"title":"The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems","authors":"Douglas Eskins, W. Sanders","doi":"10.1109/QEST.2011.38","DOIUrl":"https://doi.org/10.1109/QEST.2011.38","url":null,"abstract":"Traditional cyber security modeling approaches either do not explicitly consider system participants or assume a fixed set of participant behaviors that are independent of the system. Increasingly, accumulated cyber security data indicate that system participants can play an important role in the creation or elimination of cyber security vulnerabilities. Thus, there is a need for cyber security analysis tools that take into account the actions and decisions of human participants. In this paper, we present a modeling approach for quantifying how participant decisions can affect system security. Specifically, we introduce a definition of a cyber-human system (CHS) and its elements, the opportunity-willingness-capability (OWC) ontology for classifying CHS elements with respect to system tasks, the human decision point (HDP) as a first-class system model element, and the multiple-asymmetric-utility system modeling framework for evaluating the effects of HDPs on a CHS. This modeling approach provides a structured and quantitative means of analyzing cyber security problems whose outcomes are influenced by human-system interactions.","PeriodicalId":252235,"journal":{"name":"2011 Eighth International Conference on Quantitative Evaluation of SysTems","volume":"219 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121559359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 43

Quantitative Evaluation of BFT Protocols BFT协议的定量评价

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.40

Raluca Halalai, T. Henzinger, Vasu Singh

{"title":"Quantitative Evaluation of BFT Protocols","authors":"Raluca Halalai, T. Henzinger, Vasu Singh","doi":"10.1109/QEST.2011.40","DOIUrl":"https://doi.org/10.1109/QEST.2011.40","url":null,"abstract":"Byzantine Fault Tolerant (BFT) protocols aim to improve the reliability of distributed systems. They enable systems to tolerate arbitrary failures in a bounded number of nodes. BFT protocols are usually proven correct for certain safety and liveness properties. However, recent studies have shown that the performance of state-of-the-art BFT protocols decreases drastically in the presence of even a single malicious node. This motivates a formal quantitative analysis of BFT protocols to investigate their performance characteristics under different scenarios. We present HyPerf, a new hybrid methodology based on model checking and simulation techniques for evaluating the performance of BFT protocols. We build a transition system corresponding to a BFT protocol and systematically explore the set of behaviors allowed by the protocol. We associate certain timing information with different operations in the protocol, like cryptographic operations and message transmission. After an elaborate state exploration, we use the time information to evaluate the performance characteristics of the protocol using simulation techniques. We integrate our framework in Mace, a tool for building and verifying distributed systems. We evaluate the performance of PBFT using our framework. We describe two different use-cases of our methodology. For the benign operation of the protocol, we use the time information as random variables to compute the probability distribution of the execution times. In the presence of faults, we estimate the worst-case performance of the protocol for various attacks that can be employed by malicious nodes. Our results show the importance of hybrid techniques in systematically analyzing the performance of large-scale systems.","PeriodicalId":252235,"journal":{"name":"2011 Eighth International Conference on Quantitative Evaluation of SysTems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123393507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE) 使用对手视图安全评估(ADVISE)的基于模型的安全度量

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.34

E. LeMay, Michael D. Ford, K. Keefe, W. Sanders, Carol Muehrcke

{"title":"Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)","authors":"E. LeMay, Michael D. Ford, K. Keefe, W. Sanders, Carol Muehrcke","doi":"10.1109/QEST.2011.34","DOIUrl":"https://doi.org/10.1109/QEST.2011.34","url":null,"abstract":"System architects need quantitative security metrics to make informed trade-off decisions involving system security. The security metrics need to provide insight on weak points in the system defense, considering characteristics of both the system and its adversaries. To provide such metrics, we formally define the ADversary View Security Evaluation (ADVISE) method. Our approach is to create an executable state-based security model of a system and an adversary that represents how the adversary is likely to attack the system and the results of such an attack. The attack decision function uses information about adversary attack preferences and possible attacks against the system to mimic how the adversary selects the most attractive next attack step. The adversary's decision involves looking ahead some number of attack steps. System architects can use ADVISE to compare the security strength of system architecture variants and analyze the threats posed by different adversaries. We demonstrate the feasibility and benefits of ADVISE using a case study. To produce quantitative model-based security metrics, we have implemented the ADVISE method in a tool that facilitates user input of system and adversary data and automatically generates executable models.","PeriodicalId":252235,"journal":{"name":"2011 Eighth International Conference on Quantitative Evaluation of SysTems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126404493","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 171

A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions 一个可扩展的分析和跟踪Java和本地代码交互的工具

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.14

Parijat Dube, Seetharami R. Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, M. Hack, L. Fong, G. Johnson, Michael H. Dawson, Li Zhang, Yuqing Gao

{"title":"A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions","authors":"Parijat Dube, Seetharami R. Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, M. Hack, L. Fong, G. Johnson, Michael H. Dawson, Li Zhang, Yuqing Gao","doi":"10.1109/QEST.2011.14","DOIUrl":"https://doi.org/10.1109/QEST.2011.14","url":null,"abstract":"Java workloads have two different execution spaces: one in JVM and the other in the native environment. Understanding workload activity in native and non-native (Java) spaces and its impact on the overall resource consumption of Java workloads can be very useful. For example, this knowledge can be exploited in code optimization and for efficient process level scheduling especially in emerging hybrid systems. Existing Java run time tracing tools are quite heavyweight and/or offer limited useful information for understanding Java and native space interactions. We developed an extremely lightweight tracing tool for enterprise Java workloads. The tool captures detailed per-thread statistics related to resource usage and activity in JVM and native spheres. Efficient design based on innovative thread and memory management principles enables us to achieve scalable monitoring with our tool on multi-core systems running enterprise workloads. The information captured by the tool is used to build workload profiles which can then be used for predictive performance of Java workloads in emerging systems and architectures.","PeriodicalId":252235,"journal":{"name":"2011 Eighth International Conference on Quantitative Evaluation of SysTems","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123237843","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes SCOOP:概率过程的符号优化工具

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.27

Mark Timmer

引用次数: 29

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models 非马尔可夫模型的模拟与符号状态空间分析框架

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1007/978-3-642-24270-0_30

L. Carnevali, L. Ridi, E. Vicario

引用次数: 22

Probe Automata for Passage Time Specification 通过时间规范探针自动机

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.20

E. Amparore, M. Beccuti, S. Donatelli, G. Franceschinis

引用次数: 4

Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata 概率矩形混合自动机的离散时间验证与控制

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.18

J. Sproston

引用次数: 21

Forecasting Run-Times of Secure Two-Party Computation 安全两方计算的运行时间预测

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.33

Axel Schröpfer, F. Kerschbaum

引用次数: 16

SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies SPORTSBET:一个定量评估和执行投注交易所交易策略的工具

2011 Eighth International Conference on Quantitative Evaluation of SysTems Pub Date : 2011-09-05 DOI: 10.1109/QEST.2011.30

P. Tsirimpas, W. Knottenbelt

引用次数: 1