2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom)最新文献

S*FSM: A Paradigm Shift for Attack Resistant FSM Designs and Encodings S*FSM:抗攻击FSM设计和编码的范式转换

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.22

M. Borowczak, R. Vemuri

引用次数: 13

READ -- A Resolution and Abduction Based Approach for Policy Comparison in Organizational Collaboration READ——一种基于决议和溯因的组织协作政策比较方法

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.24

Xiaofeng Xia

引用次数: 1

A Framework for Model Checking of Large Scale Disease Spread Models 大规模疾病传播模型的模型检验框架

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.16

Krishnendu Ghosh

引用次数: 0

Towards an Optimizing Model for Older People at Risk of Falls 对老年人跌倒风险的优化模型

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.15

Ahmad Albu-Shamah, J. Zhan

引用次数: 3

Introducing Security Building Block Models 介绍安全构建块模型

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.28

A. Rein, C. Rudolph, J. Ruiz, M. Arjona

{"title":"Introducing Security Building Block Models","authors":"A. Rein, C. Rudolph, J. Ruiz, M. Arjona","doi":"10.1109/BIOMEDCOM.2012.28","DOIUrl":"https://doi.org/10.1109/BIOMEDCOM.2012.28","url":null,"abstract":"In today's software development process, security related design decisions are rarely made early in the overall process. Even if security is considered early, this means that in most cases a more-or-less encompassing security requirement analyses is made; Based on this analysis best-practices, ad-hoc design decisions or individual expertise is used to integrate security during the development process or after weaknesses are found after the deployment. This paper introduces Security Building Block Models which are used to build security related components, namely Security Building Blocks. These Security Building Blocks represent concrete security solutions, so called Security Properties, introduced in other publications of the SecFutur project [1]. The goal of this approach is to provide already defined and tested security related software components, which can be used early in the overall development process, to support security-design-decision already while modeling the software-system. The paper shortly describes this new Security Engineering Process with its requirement analysis and definition of Security Properties and how the Security Building Block Model fits into this approach. Additionally the Security Building Block Model is presented in detail. All artifacts and relationships of the model are described. Short examples finish up the paper to show the creation of the Security Building Blocks and their interactions with other software components.","PeriodicalId":146495,"journal":{"name":"2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121617675","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}

引用次数: 4

Security Engineering and Modelling of Set-Top Boxes 机顶盒的安全工程与建模

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.25

J. Ruiz, A. Rein, M. Arjona, A. Maña, A. Monsifrot, M. Morvan

引用次数: 9

Emerging Infectious Disease: A Computational Multi-agent Model 新发传染病:一个计算多主体模型

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.11

Hong Qin, A. Shapiro, Li Yang

{"title":"Emerging Infectious Disease: A Computational Multi-agent Model","authors":"Hong Qin, A. Shapiro, Li Yang","doi":"10.1109/BIOMEDCOM.2012.11","DOIUrl":"https://doi.org/10.1109/BIOMEDCOM.2012.11","url":null,"abstract":"In today's global society there exists a need to understand and predict the behavior of vector-borne diseases. With globalization, human groups tend to interact with other groups that can have one or multiple types of viruses. Currently, there are many mathematical models for studying patterns of emerging infectious diseases. These mathematical models are based on differential equations and can become unmanageable due to many parameters involved. With this in mind, we design and implement a simple spatial computational multi-agent model that can be used as a tool to analyze and predict the behavior of emerging infectious diseases. Our novel computational agent-based model integrated with evolution and phylogeny to simulate and understand emerging infectious diseases, which enables us to prevent or control outbreaks of infectious diseases in an effective and timely manner. Our multi-agent spatial-temporal model contributes to epidemiology, public health and computational simulation in several folds: First, our simulation offers an effective way to train public policy decision-makers who will respond to emergent outbreaks of infectious diseases in an appropriately and timely manner. Second, our model has the potential to aid real-time disease control and decision making. Third, our model uniquely takes evolution of viruses into account. Evolution of viruses means their genomic DNA/RNA sequence can mutate and compete for subpopulations of hosts (human, birds/pets). Our implementation provides graphical representation of the results by conducting a set of experiments under various settings.","PeriodicalId":146495,"journal":{"name":"2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom)","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133584164","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}

引用次数: 4

2TAC: Distributed Access Control Architecture for "Bring Your Own Device" Security 2TAC:“自带设备”安全的分布式访问控制架构

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.26

Sean Chung, S. Chung, T. Escrig, Yan Bai, B. Endicott-Popovsky

引用次数: 23

A Modular Testing Environment for Implementation Attacks 实现攻击的模块化测试环境

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.21

L. Judge, M. Cantrell, C. Kendir, P. Schaumont

{"title":"A Modular Testing Environment for Implementation Attacks","authors":"L. Judge, M. Cantrell, C. Kendir, P. Schaumont","doi":"10.1109/BIOMEDCOM.2012.21","DOIUrl":"https://doi.org/10.1109/BIOMEDCOM.2012.21","url":null,"abstract":"Implementation attacks, including side-channel, fault, and probing attacks, have received significant attention in both research and commercial communities. Successful attacks have been demonstrated against standard cryptographic algorithms implemented on a wide variety of common platforms. In order to protect against these attacks, designers must incorporate complex countermeasures into the implementation of sensitive operations. Validating the effectiveness of implementation attack countermeasures requires specialized expertise and techniques not commonly used in other types of security and functional testing. We propose a modular testing environment for use in verifying the implementation attack resistance of secure systems. The proposed environment is an open-source solution that allows implementation attack testing to be independent of the system platform, implementation details, and type of attack under evaluation. These key features make the environment suitable for use with an implementation attack security standard in which standard test procedures are published openly and used to evaluate cryptographic systems. We use the proposed test environment to demonstrate a successful side-channel attack on AES, which illustrates the practical usefulness of our design for analyzing implementation attack security. Our open-source design is available at url{http://rijndael.ece.vt.edu/iameter}.","PeriodicalId":146495,"journal":{"name":"2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133531742","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}

引用次数: 6

A Misuse Pattern for Retrieving Data from a Database Using SQL Injection 使用SQL注入从数据库检索数据的误用模式

2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom) Pub Date : 2012-12-14 DOI: 10.1109/BIOMEDCOM.2012.27

E. Fernández, E. Alder, R. Bagley, S. Paghdar

引用次数: 5