检索结果-内蒙古大学图书馆

IEEE International Conference on e-Science and Grid computing

作者： Dong Yuan Xiao Liu Lizhen Cui Tiantian Zhang Wenhao Li Dahai Cao Yun Yang Centre for Computing Engineering and Software Systems Swinburne University of Technology Melbourne Australia Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute of East China Normal University Shanghai China School of Computer Science and Technology Shandong University Jinan China School of Computer Science and Technology Anhui University Hefei China

The proliferation of cloud computing allows scientists to deploy computation and data intensive applications without infrastructure investment, where large generated datasets can be flexibly stored with multiple cloud service providers. Due to the pay-as-you-go model, the total application cost largely depends on the usage of computation, storage and bandwidth resources, and cutting the cost of cloud-based data storage becomes a big concern for deploying scientific applications in the cloud. In this paper, we propose a novel algorithm that can automatically decide whether a generated dataset should be 1) stored in the current cloud, 2) deleted and re-generated whenever reused or 3) transferred to cheaper cloud service for storage. The algorithm finds the trade-off among computation, storage and bandwidth costs in the cloud, which are three key factors for the cost of storing generated application datasets with multiple cloud service providers. Simulations conducted with popular cloud service providers' pricing models show that the proposed algorithm is highly cost-effective to be utilised in the cloud.

关键词： Bandwidth Cloud computing Computational modeling Algorithm design and analysis Finite element analysis Data models Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Development of Robust Traceability Benchmarks

Development of Robust Traceability Benchmarks

引用

Australian software engineering Conference

作者： Xiaofan Chen John Hosking John Grundy Robert Amor Department of Computer Science University of Auckland Auckland New Zealand College of Engineering & Computer Science Australian National University Canberra Australia Centre for Computing and Engineering Software Systems Swinburne University of Technology Hawthorn Australia

ISBN: (纸本)9781479902262

Traceability benchmarks are essential for the evaluation of traceability recovery techniques. This includes the validation of an individual traceability technique itself and the objective comparison of the technique with other traceability techniques. However, it is generally acknowledged that it is a real challenge for researchers to obtain or build meaningful and robust benchmarks. This is because of the difficulty of obtaining or creating suitable benchmarks. In this paper, we describe an approach to enable researchers to establish affordable and robust benchmarks. We have designed rigorous manual identification and verification strategies to determine whether or not a link is correct. We have developed a formula to calculate the probability of errors in benchmarks. Analysis of error probability results shows that our approach can produce high quality benchmarks, and our strategies significantly reduce error probability in them.

关键词： traceability benchmark benchmark development

来源：评论

学校读者我要写书评

暂无评论

Temporal QOS Management in Scientific Cloud Workflow systems

引用

丛书名： Elsevier insights

2012年

作者： Xiao Liu Yun Yang Jinjun Chen

ISBN: (数字)9780123972958

ISBN: (纸本)9780123970107

Cloud computing can provide virtually unlimited scalable high performance computing resources. Cloud workflows often underlie many large scale data/computation intensive e-science applications such as earthquake modelling, weather forecasting and astrophysics. During application modelling, these sophisticated processes are redesigned as cloud workflows, and at runtime, the models are executed by employing the supercomputing and data sharing ability of the underlying cloud computing infrastructures. Temporal QOS Management in Scientific Cloud Workflow systems focuses on real world scientific applications which often must be completed by satisfying a set of temporal constraints such as milestones and deadlines. Meanwhile, activity duration, as a measurement of system performance, often needs to be monitored and controlled. This book demonstrates how to guarantee on-time completion of most, if not all, workflow applications. Offering a comprehensive framework to support the lifecycle of time-constrained workflow applications, this book will enhance the overall performance and usability of scientific cloud workflow systems.

关键词： Computer Science and technology

来源：评论

学校读者我要写书评

暂无评论

TOSSMA: A tenant-oriented SaaS security management architecture

TOSSMA: A tenant-oriented SaaS security management architect...

引用

2012 IEEE 5th International Conference on Cloud computing, CLOUD 2012

作者： Almorsy, Mohamed Grundy, John Ibrahim, Amani S. Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne VIC Australia

ISBN: (纸本)9780769547558

Multi-tenancy helps service providers to save costs, improve resource utilization, and reduce service customization and maintenance time by sharing of resources and services. On the other hand, supporting multi-tenancy adds more complexity to the shared application's required capabilities. Security is a key requirement that must be addressed when engineering new SaaS applications or when re-engineering existing applications to support multi-tenancy. Traditional security (re)engineering approaches do not fit with the multi-tenancy application model where tenants and their security requirements emerge after the system was first developed. Enabling, runtime, adaptable and tenant-oriented application security customization on single service instance is a key challenging security goal in multi-tenant application engineering. In this paper we introduce TOSSMA, a Tenant-Oriented SaaS Security Management Architecture. TOSSMA allows service providers to enable their tenants in defining, customizing and enforcing their security requirements without having to go back to application developers for maintenance or security customizations. TOSSMA supports security management for both new and existing systems. Service providers are not required to write security integration code to use a specific security platform or mechanism. In this paper, we describe details of our approach and architecture, our prototype implementation of TOSSMA, give a usage example of securing a multi-tenant SaaS, and discuss our evaluation experiments of TOSSMA. © 2012 IEEE.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

Supporting virtualization-aware security solutions using a systematic approach to overcome the semantic gap

Supporting virtualization-aware security solutions using a s...

引用

2012 IEEE 5th International Conference on Cloud computing, CLOUD 2012

作者： Ibrahim, Amani S. Hamlyn-Harris, James Grundy, John Almorsy, Mohamed Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne VIC Australia

ISBN: (纸本)9780769547558

A prerequisite to implementing virtualization-aware security solutions is to solve the "semantic gap" problem. Current approaches require a deep knowledge of the kernel data to manually solve the semantic gap. However, kernel data is very complex;an Operating System (OS) kernel contains thousands of data structures that have direct and indirect (pointer) relations between each other with no explicit integrity constraints. This complexity makes it impractical to use manual methods. In this paper, we present a new solution to systematically and efficiently solve the semantic gap for any OS, without any prior knowledge of the OS. We present: (i) KDD, a tool that systematically builds a precise kernel data definition for any C-based OS such as Windows and Linux. KDD generates this definition by performing points-to analysis on the kernel's source code to disambiguate the pointer relations. (ii) SVA, a security appliance that solves the semantic gap based on the generated definition, to systematically and externally map the virtual machines' physical memory and extract the runtime dynamic objects. We have implemented prototypes for KDD and SVA, and have performed different experiments to prove their effectiveness. © 2012 IEEE.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

MDSE@R: Model-driven security engineering at runtime

MDSE@R: Model-driven security engineering at runtime

引用

4th International Symposium on Cyberspace Safety and Security, CSS 2012

作者： Almorsy, Mohamed Grundy, John Ibrahim, Amani S. Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne VIC Australia

ISBN: (纸本)9783642353611

New security threats arise frequently and impact on enterprise software security requirements. However, most existing security engineering approaches focus on capturing and enforcing security requirements at design time. Many do not address how a system should be adapted to cope with new unanticipated security requirements that arise at runtime. We describe a new approach - Model Driven Security engineering at Runtime (MDSE@R) - enabling security engineers to dynamically specify and enforce system security requirements based on current needs. We introduce a new domain-specific visual language to model customer security requirements in a given application. Moreover, we introduce a new UML profile to help capturing system architectural characteristics along with security specifications mapped to system entities. Our MDSE@R toolset supports refinement and merger of these visual models and uses model-driven engineering to take the merged model and specify security controls to be enforced on the target system components. A combination of interceptors (via generated configurations) and injected code (using aspect-oriented programming) are used to integrate the specified security controls within the target system. We describe MDSE@R, give an example of using it in securing an ERP system, describe its implementation, and discuss an evaluation of applying MDSE@R on a set of open source applications. © 2012 Springer-Verlag.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Operating system kernel data disambiguation to support security analysis

Operating system kernel data disambiguation to support secur...

引用

6th International Conference on Network and System Security, NSS 2012

作者： Ibrahim, Amani S. Grundy, John Hamlyn-Harris, James Almorsy, Mohamed Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne VIC Australia

ISBN: (纸本)9783642346002

It is very challenging to verify the integrity of Operating System (OS) kernel data because of its complex layout. In this paper, we address the problem of systematically generating an accurate kernel data definition for OSes without any prior knowledge of the OS kernel data. This definition accurately reflects the kernel data layout by resolving the pointer-based relations ambiguities between kernel data, in order to support systemic kernel data integrity checking. We generate this definition by performing static points-to analysis on the kernel's source code. We have designed a new points-to analysis algorithm and have implemented a prototype of our system. We have performed several experiments with real-world applications and OSes to prove the scalability and effectiveness of our approach for OS security applications. © 2012 Springer-Verlag.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Identifying OS kernel objects for run-time security analysis

Identifying OS kernel objects for run-time security analysis

引用

6th International Conference on Network and System Security, NSS 2012

作者： Ibrahim, Amani S. Hamlyn-Harris, James Grundy, John Almorsy, Mohamed Centre for Computing and Engineering Software Systems Faculty of ICT Swinburne University of Technology Melbourne VIC Australia

ISBN: (纸本)9783642346002

As dynamic kernel runtime objects are a significant source of security and reliability problems in Operating systems (OSes), having a complete and accurate understanding of kernel dynamic data layout in memory becomes crucial. In this paper, we address the problem of systemically uncovering all OS dynamic kernel runtime objects, without any prior knowledge of the OS kernel data layout in memory. We present a new hybrid approach to uncover kernel runtime objects with nearly complete coverage, high accuracy and robust results against generic pointer exploits. We have implemented a prototype of our approach and conducted an evaluation of its efficiency and effectiveness. To demonstrate our approach's potential, we have also developed three different proof-of-concept OS security tools using it. © 2012 Springer-Verlag.

关键词： Reliability analysis

来源：评论

学校读者我要写书评

暂无评论

Human genome meeting 2016 : Houston, TX, USA. 28 February - 2 March 2016

引用

Human genomics 2016年第1期10 Suppl 1卷 12页

作者： A. K. Srivastava Y. Wang R. Huang C. Skinner T. Thompson L. Pollard T. Wood F. Luo R. Stevenson R. Polimanti J. Gelernter X. Lin I. Y. Lim Y. Wu A. L. Teh L. Chen I. M. Aris S. E. Soh M. T. Tint J. L. MacIsaac F. Yap K. Kwek S. M. Saw M. S. Kobor M. J. Meaney K. M. Godfrey Y. S. Chong J. D. Holbrook Y. S. Lee P. D. Gluckman N. Karnani A. Kapoor D. Lee A. Chakravarti C. Maercker F. Graf M. Boutros G. Stamoulis F. Santoni P. Makrythanasis A. Letourneau M. Guipponi N. Panousis M. Garieri P. Ribaux E. Falconnet C. Borel S. E. Antonarakis S. Kumar J. Curran J. Blangero S. Chatterjee J. Akiyama D. Auer C. Berrios L. Pennacchio T. R. Donti G. Cappuccio M. Miller P. Atwal A. Kennedy A. Cardon C. Bacino L. Emrick J. Hertecant F. Baumer B. Porter M. Bainbridge P. Bonnen B. Graham R. Sutton Q. Sun S. Elsea Z. Hu P. Wang Y. Zhu J. Zhao M. Xiong David A. Bennett A. Hidalgo-Miranda S. Romero-Cordoba S. Rodriguez-Cuevas R. Rebollar-Vega E. Tagliabue M. Iorio E. D’Ippolito S. Baroni B. Kaczkowski Y. Tanaka H. Kawaji A. Sandelin R. Andersson M. Itoh T. Lassmann Y. Hayashizaki P. Carninci A. R. R. Forrest C. A. Semple E. A. Rosenthal B. Shirts L. Amendola C. Gallego M. Horike-Pyne A. Burt P. Robertson P. Beyers C. Nefcy D. Veenstra F. Hisama R. Bennett M. Dorschner D. Nickerson J. Smith K. Patterson D. Crosslin R. Nassir N. Zubair T. Harrison U. Peters G. Jarvik F. Menghi K. Inaki X. Woo P. Kumar K. Grzeda A. Malhotra H. Kim D. Ucar P. Shreckengast K. Karuturi J. Keck J. Chuang E. T. Liu B. Ji A. Tyler G. Ananda G. Carter H. Nikbakht M. Montagne M. Zeinieh A. Harutyunyan M. Mcconechy N. Jabado P. Lavigne J. Majewski J. B. Goldstein M. Overman G. Varadhachary R. Shroff R. Wolff M. Javle A. Futreal D. Fogelman L. Bravo W. Fajardo H. Gomez C. Castaneda C. Rolfo J. A. Pinto K. C. Akdemir L. Chin S. Patterson C. Statz S. Mockus S. N. Nikolaev X. I. Bonilla L. Parmentier B. King F. Bezrukov G. Kaya V. Zoete V. Seplyarskiy H. Sharpe T. McKee K. Popadin N. Basset-Seguin R. Ben Chaabene M. Andrianova C. Verdan K. Grosdemange O. Sumara M. E JCSRI Greenwood Genetic Center Greenwood USA School of Computing Clemson University Clemson USA Biochemical Genetics Laboratory Greenwood Genetic Center Greenwood USA Department Psychiatry Yale Sch Med and VA CT Healthcare Center West Haven USA Department Genetics Yale Sch Med and VA CT Healthcare Center West Haven USA Department Neurobiology Yale Sch Med and VA CT Healthcare Center West Haven USA Singapore Institute for Clinical Sciences Singapore Singapore National University of Singapore Singapore Singapore University of British Columbia Vancouver Canada KK Women’s and Children’s Hospital Singapore Singapore University of Southampton and University Hospital Southampton NHS Foundation Trust Southampton UK University of Auckland Auckland New Zealand McKusick-Nathans Institute of Genetic Medicine Johns Hopkins University School of Medicine Baltimore USA Esslingen University of Applied Sciences Esslingen Germany German Cancer Research Center Heidelberg Germany Department of Genetic Medicine and Development University of Geneva Medical School Geneva Switzerland Geneva University Hospitals-HUG Service of Genetic Medicine Geneva Switzerland GE3 Institute of Genetics and Genomics of Geneva University of Geneva Medical School Geneva Switzerland South Texas Diabetes and Obesity Institute School of Medicine University of Texas Rio-Grande Valley Edinburg USA South Texas Diabetes and Obesity Institute School of Medicine University of Texas Rio-Grande Valley Brownsville USA Institute of Genetic Medicine Johns Hopkins University Baltimore USA Genomics Division Lawrence Berkeley National Laboratory Berkeley USA Molecular and Human Genetics Baylor College of Medicine Houston USA Department of Translational Medical Sciences Federico II University Naples Italy Metabolon Inc Durham USA Section of Pediatric Neurology and Neuroscience Baylor College of Medicine Houston USA Tawam Hospital Abu Dhabi United Arab Emirates Stanford Medical School Stanford USA Sch

O1 The metabolomics approach to autism: identification of biomarkers for early detection of autism spectrum disorder A. K. Srivastava, Y. Wang, R. Huang, C. Skinner, T. Thompson, L. Pollard, T. Wood, F. Luo, R. Stevenson O2 Phenome-wide association study for smoking- and drinking-associated genes in 26,394 American women with African, Asian, European, and Hispanic descents R. Polimanti, J. Gelernter O3 Effects of prenatal environment, genotype and DNA methylation on birth weight and subsequent postnatal outcomes: findings from GUSTO, an Asian birth cohort X. Lin, I. Y. Lim, Y. Wu, A. L. Teh, L. Chen, I. M. Aris, S. E. Soh, M. T. Tint, J. L. MacIsaac, F. Yap, K. Kwek, S. M. Saw, M. S. Kobor, M. J. Meaney, K. M. Godfrey, Y. S. Chong, J. D. Holbrook, Y. S. Lee, P. D. Gluckman, N. Karnani, GUSTO study group O4 High-throughput identification of specific qt interval modulating enhancers at the SCN5A locus A. Kapoor, D. Lee, A. Chakravarti O5 Identification of extracellular matrix components inducing cancer cell migration in the supernatant of cultivated mesenchymal stem cells C. Maercker, F. Graf, M. Boutros O6 Single cell allele specific expression (ASE) IN T21 and common trisomies: a novel approach to understand DOWN syndrome and other aneuploidies G. Stamoulis, F. Santoni, P. Makrythanasis, A. Letourneau, M. Guipponi, N. Panousis, M. Garieri, P. Ribaux, E. Falconnet, C. Borel, S. E. Antonarakis O7 Role of microRNA in LCL to IPSC reprogramming S. Kumar, J. Curran, J. Blangero O8 Multiple enhancer variants disrupt gene regulatory network in Hirschsprung disease S. Chatterjee, A. Kapoor, J. Akiyama, D. Auer, C. Berrios, L. Pennacchio, A. Chakravarti O9 Metabolomic profiling for the diagnosis of neurometabolic disorders T. R. Donti, G. Cappuccio, M. Miller, P. Atwal, A. Kennedy, A. Cardon, C. Bacino, L. Emrick, J. Hertecant, F. Baumer, B. Porter, M. Bainbridge, P. Bonnen, B. Graham, R. Sutton, Q. Sun, S. Elsea O10 A novel causal methylation network approach to Alzheimer’s

关键词： Pulmonary Arterial Hypertension Oral Squamous Cell Carcinoma Deep Neural Network Autosomal Recessive Polycystic Kidney Disease Whole Genome Bisulfite Sequencing

来源：评论

学校读者我要写书评

暂无评论

Supporting Virtualization-Aware Security Solutions Using a Systematic Approach to Overcome the Semantic Gap

Supporting Virtualization-Aware Security Solutions Using a S...

引用

IEEE International Conference on Cloud computing, CLOUD

作者： Amani S. Ibrahim James Hamlyn-Harris John Grundy Mohamed Almorsy Centre for Computing and Engineering Software Systems Swinburne University of Technology Melbourne Australia

ISBN: (纸本)9781467328920

A prerequisite to implementing virtualization-aware security solutions is to solve the "semantic gap" problem. Current approaches require a deep knowledge of the kernel data to manually solve the semantic gap. However, kernel data is very complex; an Operating System (OS) kernel contains thousands of data structures that have direct and indirect (pointer) relations between each other with no explicit integrity constraints. This complexity makes it impractical to use manual methods. In this paper, we present a new solution to systematically and efficiently solve the semantic gap for any OS, without any prior knowledge of the OS. We present: (i) KDD, a tool that systematically builds a precise kernel data definition for any C-based OS such as Windows and Linux. KDD generates this definition by performing points-to analysis on the kernel's source code to disambiguate the pointer relations. (ii) SVA, a security appliance that solves the semantic gap based on the generated definition, to systematically and externally map the virtual machines' physical memory and extract the runtime dynamic objects. We have implemented prototypes for KDD and SVA, and have performed different experiments to prove their effectiveness.

关键词： Kernel Security Semantics Data structures Context Runtime Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：