2015 IEEE 16th International Symposium on High Assurance Systems Engineering最新文献_第2页

Effect of User Posture and Device Size on the Performance of Touch-Based Authentication Systems 用户姿势和设备尺寸对基于触摸的认证系统性能的影响

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.10

Zahid A. Syed, Jordan Helmick, Sean Banerjee, B. Cukic

{"title":"Effect of User Posture and Device Size on the Performance of Touch-Based Authentication Systems","authors":"Zahid A. Syed, Jordan Helmick, Sean Banerjee, B. Cukic","doi":"10.1109/HASE.2015.10","DOIUrl":"https://doi.org/10.1109/HASE.2015.10","url":null,"abstract":"Touch dynamics is a behavioral biometric that authenticates users by analyzing the characteristics of the touch gestures they execute on devices such as tablets and smartphones. The current research in this field has focused on identifying the best algorithms and the most effective attributes to improve authentication performance. However, a robust touch dynamics based authentication system for mobile devices must also be resilient against environmental variables such as user posture, movement, device size, device manufacturer, etc. In this work, we focus on two critical environmental variables that affect touch based authentication systems. We demonstrate that the user's posture and device size have a significant impact on the performance of touch based authentication systems. Our results indicate that authentication performance is proportional to the device size. Furthermore, we conclude that using a device's 3-D orientation is necessary to attain better authentication performance. Our findings indicate that the features used in state-of-the-art touch-based authentication systems are insufficient to provide constant, reliable performance when either the device size or user posture change. The effect of environmental variables on touch dynamics has not been explored. The results presented in this work are the first of its kind and important in the development of robust touch-based authentication systems. This study has immediate, applicable benefits to develop better authentication approaches touch dynamics.","PeriodicalId":248645,"journal":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","volume":"403 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122896654","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}

引用次数: 20

An Object-Oriented Language for Modeling of Hybrid Systems 面向对象的混合系统建模语言

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.9

Huixing Fang, Huibiao Zhu, Jianqi Shi

引用次数: 1

Verification for OAuth Using ASLan++ 使用aslan++验证OAuth

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.20

Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu

引用次数: 4

A Calculus for Wireless Sensor Networks from Quality Perspective 基于质量视角的无线传感器网络演算

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.40

Xi Wu, Huibiao Zhu

引用次数: 13

Executable Models to Support Automated Software FMEA 支持自动化软件FMEA的可执行模型

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.36

V. Bonfiglio, Leonardo Montecchi, Francesco Rossi, P. Lollini, A. Pataricza, A. Bondavalli

{"title":"Executable Models to Support Automated Software FMEA","authors":"V. Bonfiglio, Leonardo Montecchi, Francesco Rossi, P. Lollini, A. Pataricza, A. Bondavalli","doi":"10.1109/HASE.2015.36","DOIUrl":"https://doi.org/10.1109/HASE.2015.36","url":null,"abstract":"Safety analysis is increasingly important for a wide class of systems. In the automotive field, the recent ISO26262 standard foresees safety analysis to be performed at system, hardware, and software levels. Failure Modes and Effects Analysis (FMEA) is an important step in any safety analysis process, and its application at hardware and system levels has been extensively addressed in the literature. Conversely, its application to software architectures is still to a large extent an open problem, especially concerning its integration into a general certification process. The approach we propose in this paper aims at performing semi-automated FMEA on component-based software architectures described in UML. The foundations of our approach are model-execution and fault-injection at model-level, which allows us to compare the nominal and faulty system behaviors and thus assess the effectiveness of safety countermeasures. Besides introducing the detailed workflow for SW FMEA, the work in this paper focuses on the process for obtaining an executable model from a component-based software architecture specified in UML.","PeriodicalId":248645,"journal":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","volume":"168 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127242148","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}

引用次数: 13

Introducing Meta-Requirements for Describing System of Systems 为描述系统的系统引入元需求

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.31

A. Ceccarelli, Marco Mori, P. Lollini, A. Bondavalli

引用次数: 11

There is a Will, There is a Way: A New Mechanism for Traffic Control Based on VTL and VANET 有志者事竟成:一种基于VTL和VANET的流量控制新机制

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.42

Jingmin Shi, Chao Peng, Qin Zhu, P. Duan, Yu Bao, Mengjun Xie

引用次数: 20

Eclipse vs. Mozilla: A Comparison of Two Large-Scale Open Source Problem Report Repositories Eclipse与Mozilla:两个大型开源问题报告存储库的比较

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.45

Sean Banerjee, Jordan Helmick, Zahid A. Syed, B. Cukic

{"title":"Eclipse vs. Mozilla: A Comparison of Two Large-Scale Open Source Problem Report Repositories","authors":"Sean Banerjee, Jordan Helmick, Zahid A. Syed, B. Cukic","doi":"10.1109/HASE.2015.45","DOIUrl":"https://doi.org/10.1109/HASE.2015.45","url":null,"abstract":"Bug tracking systems play an important role in the development and maintenance of large-scale software systems. Having access to open source bug tracking systems has allowed researchers to take advantage of rich datasets and propose solutions to manage duplicate report classification, developer assignment and quality assessment. In spite of research advances, our understanding of the content of these repositories remains limited, primarily because of their size. In many cases, researchers analyze small portions of datasets thus limiting the understanding of the dynamics of problem reporting. The objective of this study is to explore the properties of two large-scale open source problem report repositories. The Eclipse dataset, at the time of download, consisted of 363; 770 reports spanning 11+ years, whereas Mozilla contained 699; 085 reports spanning 14+ years.Our research examines the evolution of datasets over time by analyzing the changes in the repository and the profiles of users who submit problem reports. We provide quantitative evidence on how submitter's maturity reduces the propensity to submit poor quality, insignificant or duplicate reports. We show that a diverse user base, characteristic of Mozilla, creates challenges for the development team as they spend more time triaging, rather than fixing, issues. Finally, we provide the research community with a series of observations and suggestions on how to study large-scale problem repositories.","PeriodicalId":248645,"journal":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116796643","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}

引用次数: 11

Formalization and Verification of REST Architecture in Viewpoints 视点中REST架构的形式化和验证

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.37

Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo

引用次数: 2

A Methodology to Efficiently Compare Operating System Stability 一种有效比较操作系统稳定性的方法

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.22

E. V. D. Kouwe, Cristiano Giuffrida, Razvan Ghituletez, A. Tanenbaum

{"title":"A Methodology to Efficiently Compare Operating System Stability","authors":"E. V. D. Kouwe, Cristiano Giuffrida, Razvan Ghituletez, A. Tanenbaum","doi":"10.1109/HASE.2015.22","DOIUrl":"https://doi.org/10.1109/HASE.2015.22","url":null,"abstract":"Despite decades of advances in software engineering, operating systems (OSes) are still plagued by crashes due to software faults, calling for techniques to improve OS stability when faults occur. Evaluating such techniques requires a way to compare the stability of different OSes that is both representative of real faults and scales to the large code bases of modern OSes and a large (and statistically sound) number of experiments. In this paper, we propose a widely applicable methodology meeting all such requirements. Our methodology relies on a novel fault injection strategy based on a combination of static and run-time instrumentation, which yields representative software faults while drastically reducing the instrumentation time and thus greatly enhancing scalability. To guarantee unbiased and comparable results, finally, our methodology relies on the use of pre- and post tests to isolate the direct impact of faults from the stability of the OS itself. We demonstrate our methodology by comparing the stability of Linux and MINIX 3, saving a total of 115 computer-days for the 12,000 Linux fault injection runs compared to the traditional approach of re-instrumenting for every run.","PeriodicalId":248645,"journal":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131177024","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}

引用次数: 5