The Second International Conference on Availability, Reliability and Security (ARES'07)最新文献_第6页

A Universal Construction for Concurrent Objects 并发对象的通用构造

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.29

R. Guerraoui, M. Raynal

{"title":"A Universal Construction for Concurrent Objects","authors":"R. Guerraoui, M. Raynal","doi":"10.1109/ARES.2007.29","DOIUrl":"https://doi.org/10.1109/ARES.2007.29","url":null,"abstract":"A concurrent object is an object that can be concurrently accessed by several processes. A wait-free implementation of an object is such that any operation issued by a non-faulty process terminates in a finite number of its own steps, whatever the behavior of the other processes (that can be very slow or even have crashed). An object type is universal if objects of that type, together with atomic registers, allows implementing any concurrent object defined by a sequential specification. A universal construction is a wait-free algorithm, based only on atomic registers and universal objects, that, given any sequential object type T, provides the processes with a wait-free concurrent object of the type T. In a famous paper (titled \"Wait-free synchronization\") Herlihy has shown that consensus objects are universal, and has presented a consensus-based universal construction. We present here a new universal construction. That construction, that is built incrementally, is particularly simple. While, in addition to consensus objects, Herlihy's universal construction uses low-level objects such as pointers, the design of the construction presented here is based on the simple and well-known state machine replication paradigm. Its proof is also simple and consequently allows to better understand not only the power of consensus objects but also the subtleties of wait-free computations and the way the consensus objects allow coping with both process failures and non-determinism. In that sense, this paper has a pedagogical flavor.","PeriodicalId":383015,"journal":{"name":"The Second International Conference on Availability, Reliability and Security (ARES'07)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124598827","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}

引用次数: 1

Protecting Private Information by Data Separation in Distributed Spatial Data Warehouse 分布式空间数据仓库中数据分离保护私有信息

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.118

M. Gorawski, Jakub Bularz

引用次数: 15

Failure Recovery in Cooperative Data Stream Analysis 协同数据流分析中的故障恢复

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.87

Bin Rong, F. Douglis, Cathy H. Xia, Zhen Liu

引用次数: 7

Secure, Resilient Computing Clusters: Self-Cleansing Intrusion Tolerance with Hardware Enforced Security (SCIT/HES) 安全、弹性计算集群:自清洗入侵容忍与硬件强制安全(SCIT/HES)

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.134

David Arsenault, A. Sood, Y. Huang

引用次数: 37

Query Assurance Verification for Dynamic Outsourced XML Databases 动态外包XML数据库的查询保证验证

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.120

Viet Hung Nguyen, T. K. Dang

{"title":"Query Assurance Verification for Dynamic Outsourced XML Databases","authors":"Viet Hung Nguyen, T. K. Dang","doi":"10.1109/ARES.2007.120","DOIUrl":"https://doi.org/10.1109/ARES.2007.120","url":null,"abstract":"With rapid developments of network technologies, database outsourcing is emerging as an important new trend beside the \"application-as-a-service\". In this model, data owners ship their data to external service providers. Service providers do data management tasks and offer their clients a mechanism to manipulate outsourced databases. Since a service provider is not always fully trusted, security and privacy of outsourced data are significant issues. These problems are referred to as data confidentiality, user privacy, data privacy and query assurance. Among them, query assurance takes a crucial role to the success of the database outsourcing model. To the best of our knowledge, however, query assurance, especially for outsourced XML databases, has not been concerned reasonably in any previous work. In this paper, we propose a novel index structure, nested Merkle B+ -tree, combining the advantages of B+-tree and Merkle hash tree to completely deal with three issues of query assurance known as correctness, completeness and freshness in dynamic outsourced XML databases. Experimental results with real datasets prove the efficiency of our proposed solution","PeriodicalId":383015,"journal":{"name":"The Second International Conference on Availability, Reliability and Security (ARES'07)","volume":"338 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134159547","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}

引用次数: 22

Intrusion detection system for signal based SIP attacks through timed HCPN 入侵检测系统针对基于信号的SIP攻击，通过定时HCPN

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.102

Yanlan Ding, Guiping Su

引用次数: 22

Efficient Malicious Agreement in a Virtual Subnet Network 虚拟子网网络中的高效恶意协议

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.76

Shu-Chin Wang, S. Liang, K. Yan, G. Zheng

引用次数: 4

A Pattern System for Security Requirements Engineering 安全需求工程的模式系统

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.12

Denis Hatebur, M. Heisel, Holger Schmidt

引用次数: 55

High Availability for Network Management Applications 网络管理应用程序的高可用性

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.95

S. Prabhu, R. Venkat

{"title":"High Availability for Network Management Applications","authors":"S. Prabhu, R. Venkat","doi":"10.1109/ARES.2007.95","DOIUrl":"https://doi.org/10.1109/ARES.2007.95","url":null,"abstract":"While hardware failures may cripple a network, network service providers are increasingly finding that software or its configuration is a greater source of risk. In today's world of ubiquitous computing there is an everlasting need for interconnecting devices. The continuously growing internet has accelerated this need at a pace like never before. This has resulted in a lot of investment in networking infrastructure such as routers, switches, hubs and the like. This ever-growing infrastructure needs to be manageable in a cost effective manner so as to derive the maximum benefit out of it. For the sake of simplicity we will stick to the traditional definition of management to mean FCAPS. The aim of this paper is to highlight some of the technical challenges in achieving high availability (HA) at the application layer (L4-L7). While the entire paper is about HA for network management applications the principles and guidelines apply equally well for other enterprise applications also. Also as there is a significant industry momentum in the direction of adopting Java and its related technologies as the platform of choice for building manageability solutions, the scope of this paper is restricted to exploring availability considerations for such applications","PeriodicalId":383015,"journal":{"name":"The Second International Conference on Availability, Reliability and Security (ARES'07)","volume":"21 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116819124","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

A Reliable Component-Based Architecture for E-Mail Filtering 一个可靠的基于组件的电子邮件过滤体系结构

The Second International Conference on Availability, Reliability and Security (ARES'07) Pub Date : 2007-04-10 DOI: 10.1109/ARES.2007.20

W. Gansterer, A. Janecek, P. Lechner

{"title":"A Reliable Component-Based Architecture for E-Mail Filtering","authors":"W. Gansterer, A. Janecek, P. Lechner","doi":"10.1109/ARES.2007.20","DOIUrl":"https://doi.org/10.1109/ARES.2007.20","url":null,"abstract":"A three-component architecture for the classification and filtering of unsolicited bulk and commercial e-mail (\"spam\") is introduced. The first component, an enhanced self-learning variant of greylisting, sets the stage for the following feature extraction and classification components. Through the temporary rejection of selected messages by the greylisting component time becomes available for an \"offline\" in-depth examination of the e-mail content before the message is accepted and delivered to the final recipient. Within the feature extraction component a set of features for each newly arriving e-mail message is determined. These features are then used for the categorization of a message within the classification engine, which contains the adaptation of a vector space model. Based on this model, an implementation of latent semantic indexing for spam filtering is investigated. The architecture proposed contributes to the goal of minimizing the waste of resources caused by spam and is able to react to high load situations (including DoS attacks) via adaptations in the feature extraction and classification components","PeriodicalId":383015,"journal":{"name":"The Second International Conference on Availability, Reliability and Security (ARES'07)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131792961","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