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

15th International Conference on information Security and Cryptology, ICISC 2012

作者： Zhao, Jingyuan Wang, Meiqin Chen, Jiazhe Zheng, Yuliang Key Laboratory of Cryptologic Technology and Information Security Ministry of Education Shandong University Jinan 250100 China School of Mathematics Shandong University Jinan 250100 China Department of Software and Information Systems UNC Charlotte 9201 University City Blvd Charlotte NC 28223 United States

ISBN: (纸本)9783642376818

SAFER+ was a candidate block cipher for AES with 128-bit block size and a variable key sizes of 128, 192 or 256 bits. Bluetooth uses customized versions of SAFER+ for security. The numbers of rounds for SAFER+ with key sizes of 128, 192 and 256 are 8, 12 and 16, respectively. SAFER++, a variant of SAFER+, was among the cryptographic primitives selected for the second phase of the NESSIE project. The block size is 128 bits and the key size can take either 128 or 256 bits. The number of rounds for SAFER++ is 7 for keys of 128 bits, and 10 for keys of 256 bits. Both ciphers use PHT as their linear transformation. In this paper, we take advantage of properties of PHT and S-boxes to identify 3.75-round impossible differentials for SAFER++ and 2.75-round impossible differentials for SAFER+, which result in impossible differential attacks on 4-round SAFER+/128(256), 5-round SAFER++/128 and 5.5-round SAFER++/256. Our attacks significantly improve previously known impossible differential attacks on 3.75-round SAFER +/128(256) and SAFER++/128(256). Our attacks on SAFER +/128(256) and SAFER++/128(256) represent the best currently known attack in terms of the number of rounds. © 2013 Springer-Verlag.

关键词： Bluetooth

来源：评论

学校读者我要写书评

暂无评论

A Preliminary User Evaluation of an Infrastructure to Support Activity-Based computing in Global software Development (ABC4GSD)

A Preliminary User Evaluation of an Infrastructure to Suppor...

引用

International Conference on Global software Engineering (ICGSE)

作者： Paolo Tell Muhammad Ali Babar John Grundy Software System Section IT University of Copenhagen Denmark Kobenhavns Universitet Kobenhavns DK Centre for Computing and Engineering Software Systems Swinburne University of Technology Australia

Global software Engineering (GSE) teams face challenges due to the need to replace traditional physical presence interactions and co-ordination with computer-mediated means. A vast majority of the available tool support for distributed collaboration is deep-seated in a desktop metaphor introduced in the `70s, and huge efforts are being devoted to overcome its known limitations. Over the last few years we have looked into the feasibility of providing an approach based on Activity-Based computing (ABC) to address these issues in a novel way. We have developed a middleware and support tool, ABC4GSD, to enable collaborative distributed features in an application, while maintaining common interactions with the workstation that users are accustomed to. In this paper we present the results of a user evaluation we conducted on ABC4GSD using exemplar GSE scenarios. Participants' responses show positive and encouraging reception of the activity-based approach to supporting GSE.

关键词： Servers Middleware Computer architecture Teamwork

来源：评论

学校读者我要写书评

暂无评论

Mobile computing application for industrial field service engineering: A case for ABB service engineers

Mobile computing application for industrial field service en...

引用

IEEE Conference on ALocal Computer Networks Workshops (LCN Workshops)

作者： Welderufael B. Tesfay Markus Aleksy Karl Andersson Marko Lehtola pervasive and Mobile Computing Laboratory Luleå University of Technology Sweden ABB Corporate Research Industrial Software Systems Program Ladenburg Germany Industrial Software Systems Program ABB Corporate Research Ladenburg Germany Industrial Software Systems Program ABBCorporate Research Västerås Sweden

The increasing digitalization of our daily lives is gaining a new momentum recently in what is called the post-desktop era of computing. This wide spread in digitalization is made possible by the introduction of handy devices specifically of mobile phones, laptop computers, Smartphones, and tablets. This new trend in shaping up technological advancement presents new opportunities for mobile information presentation, processing, and synthesis in different spheres of application such as providing industrial field services engineering support. Industrial field service engineers execute sets of work orders on daily basis plans. These work order executions demand the availability of digital information anywhere anytime to process them faster. This paper presents a scenario where the newly emerging Smartphone features such as augmented reality, audio / video processing, and near field communication sensing can be used to develop a prototype that supports industrial field service engineers in the contemporary field service engineering taskforces. It employs real world use-cases and carrying out quantitative prototype usability test analysis.

关键词： Prototypes Smart phones Augmented reality Conferences Usability Androids Humanoid robots

来源：评论

学校读者我要写书评

暂无评论

Poster: Revisiting anomaly detection system design philosophy 13

Poster: Revisiting anomaly detection system design philosoph...

引用

2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013

作者： Ashfaq, Ayesha Binte Ali, Muhammad Qasim Al-Shaer, Ehab Khayam, Syed Ali School of Electrical Engineering and Computer Science National University of Sciences and Technology Islamabad Pakistan Department of Software and Information Systems University of North Carolina Charlotte Charlotte NC United States PLUMgrid Inc. Sunnyvale CA United States

ISBN: (纸本)9781450324779

The inherent design of anomaly detection systems (ADSs) make them highly susceptible to evasion attacks and hence their wide-spread commercial deployment has not been witnessed. There are two main reasons for this: 1) ADSs incur high false positives;2) Are highly susceptible to evasion attacks (false negatives). While efforts have been made to minimize false positives, evasion is still an open problem. We argue that ADSs design is inherently flawed since it relies on the ADS's detection logic and feature space which is trivial to estimate. In information security e.g. cryptographic algorithms (such as DES), security is inherently dependent upon the key and not the algorithm, which makes these systems very robust by rendering evasion computationally infeasible. We believe there is a need to redesign the anomaly detection systems similar to cryptographic systems. We propose to randomize the feature space of an ADS such that it acts as a cryptographic key for the ADS and hence this randomized feature space is used by the ADS logic for detection of anomalies. This would make the evasion of the ADS computationally infeasible for the attacker. © 2013 Authors.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

An innovative approach for automatically grading spelling in essays using rubric-based scoring

An innovative approach for automatically grading spelling in...

引用

作者： Fazal, Anhar Hussain, Farookh Khadeer Dillon, Tharam S. School of Information Systems Curtin University of Technology Perth WA Australia Decision Support and E-Service Intelligence Lab. School of Software University of Technology Sydney NSW Australia Department of Computer Science and Computer Engineering La Trobe University Melbourne VIC Australia

Automated Essay Grading (AEG) is defined as a computer technology that evaluates and scores written prose. A number of AEG systems have been developed since the 1960s and in most of them, an ad-hoc or generalized approach is used to grade spelling even though it is an important element of an essay-scoring rubric. Existing approaches do not therefore give an accurate representation or measure of spelling in essays. According to the rubric-based scoring method used in the National Assessment Program "Literacy and Numeracy (NAPLAN) in Australia, spelling is marked in three steps" first, by identifying the correct and incorrect words in the essay;second, by categorizing each word based on the difficulty level into one of four classes: Simple, Common, Difficult or Challenging, and counting the number of correct and incorrect words in each category;finally, by using the pre-defined NAPLAN rubric scale to assign the mark. Only a small number of existing AEG systems can be used for rubric-based scoring, and none can be used to grade spelling according to the NAPLAN rubric. In this paper, we address this shortcoming in the existing literature and present an innovative approach to automatically mark spelling using rubric based scoring. We develop two algorithms based on the rules and heuristics of the English language to formulize the rubric for spelling and then implement these algorithms in Java language and perform a series of evaluations of our system using an essay dataset. Our results are very promising, even though it is the first system of this kind.

关键词： Grading

来源：评论

学校读者我要写书评

暂无评论

Predictive Control for Visual Servo Stabilization of Nonholonomic Mobile Robots

引用

自动化学报 2013年第8期39卷 1238-1245页

作者： CAO Zheng-Cai YIN Long-Jie FU Yi-Li LIU Tian-Long College of Information Science and Technology Beijing University of Chemical TechnologyBeijing 100029China Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji UniversityShanghai 201804China State Key Laboratory of Robotics and Systems Harbin Institute of TechnologyHarbin 150080China

活动机器人获得了的 nonholonomic 的视觉伺服稳定广泛的注意。当前，这个问题的解决方案不管多么不认为可见性限制和致动器是限制，因此设计控制器是困难的在实际申请认识到令人满意的性能。在这份报纸，为一个活动机器人的视觉伺服稳... 详细信息

活动机器人获得了的 nonholonomic 的视觉伺服稳定广泛的注意。当前，这个问题的解决方案不管多么不认为可见性限制和致动器是限制，因此设计控制器是困难的在实际申请认识到令人满意的性能。在这份报纸，为一个活动机器人的视觉伺服稳定的一个预兆的控制器被介绍。第一，利用产生速度的命令的一个运动学的预兆的稳定控制器被介绍。然后，来临以便 asymptotically 做活动机器人的实际速度到需要的，一个动态预兆的控制器被设计。建议预兆的控制器能容易处理限制。最后，几模拟被执行，并且结果说明建议控制计划是有效的解决视觉伺服稳定问题。

关键词：非完整移动机器人稳定化控制器预测控制器视觉伺服生成速度运动预测稳定问题控制方案

来源：评论

学校读者我要写书评

暂无评论

Agile product manufacturing by dynamically generating control instructions

Agile product manufacturing by dynamically generating contro...

引用

IEEE International Symposium on Assembly and Manufacturing (ISAM)

作者： Daniël Telgen Leo van Moergestel Erik Puik Arjen van Zanten Ammar Abdulamir John-Jules Meyer Department of Micro Systems Technology and Embedded Systems University of Applied Sciences Utrecht Utrecht Netherlands Department of Information and Computing Sciences Utrecht University Utrecht Netherlands

Grid Manufacturing (GM) is a new production paradigm, based upon the use of standardized and modular Reconfigurable Manufacturing systems (RMS). In GM all systems have a virtual counterpart that actsautonomously, this includes both complete manufacturing systems and the products. The control system required for this approach is based upon a distributed and hybrid architecture, using agent technology. An important aspect in the paradigm is the product manufacturing description. This paper introduces the concept of an architecture where the control of the manufacturing is abstracted from the product manufacturing blueprint. A product is delineated step by step by specific services in the grid. The proposed system increases flexibility twofold, first by enabling abstraction of product's parts and second by dynamically using manufacturing means.

关键词： Hardware Manufacturing processes Agile manufacturing Industries

来源：评论

学校读者我要写书评

暂无评论

Wait-free Hyperobjects for Task-Parallel Programming systems

Wait-free Hyperobjects for Task-Parallel Programming Systems

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Martin Wimmer Institute of Information Systems Research Group Parallel Computing Faculty of Informatics Vienna University of Technology Vienna Austria

ISBN: (纸本)9781467360661

Hyperobjects are efficient mechanisms to coordinate accesses to shared variables and data-structures in task-parallel programming models, where each thread can operate on its own coordinated local view of the shared data. Synchronization between local views is restricted to occur at well-defined points in the execution, and can be left to the hyperobject implementation. This paper provides a general model for hyperobjects that does not require programming language or runtime support and may therefore be used with any task-parallel programming system. We show that hyperobjects can be efficiently implemented in a wait-free manner, meaning that all concurrent accesses to a hyperobject are guaranteed to complete in a bounded number of steps. The novel finisher hyperobject presented in this paper provides transitive termination detection for task-parallel programs. It can be used to efficiently implement task synchronization primitives like finish. However, finishers can also be used to manage reference-counted resources, e.g. shared pointers and copy-on-write pointers. Finally, we provide a wait-free variant of the associative reducer hyperobject known from the Cilk++ programming language.

关键词： Synchronization Computational modeling Object oriented modeling Instruction sets Programming Computer languages Runtime

来源：评论

学校读者我要写书评

暂无评论

Migrating into the Cloud: Identifying the major security and privacy concerns

Migrating into the Cloud: Identifying the major security and...

引用

12th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2013

作者： Kalloniatis, Christos Manousakis, Vassilis Mouratidis, Haralambos Gritzalis, Stefanos Department of Cultural Technology and Communication University of the Aegean University Hill GR 81100 Mytilene Greece School of Architecture Computing and Engineering University of East London Docklands Campus 4-6 University Way E16 2RD London United Kingdom Information and Communication Systems Security Laboratory Department of Information and Communications Systems Engineering University of the Aegean GR 83200 Samos Greece

ISBN: (纸本)9783642374364

Cloud computing is without a doubt one of the most significant innovations presented in the global technological map. The number of potential users enrolling and using cloud services increases exponentially on a daily bases. The great demand from online users for cloud services along with the reduced operational costs that the latter offers has motivated many organisations and companies to consider migrating organizational services, data and applications on the Cloud. However, despite the various positive characteristics of all cloud service models like reduced costs, better availability insurance, on demand data storage and computation power, cloud migration may hinder various security and privacy issues that need to be considered before an organization or company decides to move on to the Cloud. This paper aims to reveal the major security and privacy concepts for all three cloud service models and through a systematic analysis to guide the organization's stakeholders in deciding which service model best fits their needs based on their security and privacy requirements. © IFIP International Federation for information Processing 2013.

关键词： Cost reduction

来源：评论

学校读者我要写书评

暂无评论

Reducing the Migration Times of Multiple VMs on WANs using a Feedback Controller

Reducing the Migration Times of Multiple VMs on WANs using a...

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and PhD Forum

作者： Tae Seung Kang Mauricio Tsugawa Jose Fortes Takahiro Hirofuchi Advanced Computing and Information Systems Lab University of Florida National Institute of Advanced Industrial Science and Technology (AIST)

ISBN: (纸本)9781479913725

Virtual machine (VM) migration is affected by network latency and throughput, which are highly fluctuating and unpredictable in wide-area networks (WANs). Hence, it is difficult to statically minimize the time required to transfer a large number of VMs across WAN. The goal of this work is to migrate as many VMs as possible during a given period of time and it is motivated by disaster recovery scenarios. One approach is to migrate a large number of VMs in parallel, but this leads to long migration times of each individual VM. Long migration times are problematic in catastrophic circumstances where resources are limited and can fail within a short period of time. Thus, it is important to shorten both the total time required to migrate multiple VMs and the migration time of individual VMs. Due to network performance fluctuations, the optimal number of parallel migrations changes over time. This work proposes a feedback-based controller that adapts to the number of parallel VM migrations in response to changes in a WAN. The controller implements an algorithm inspired by the TCP congestion avoidance algorithm in order to regulate the number of VMs in transit depending on the network conditions. Experiments using a prototype controller confirm that it is possible to control the migration of a set of VMs shortening both the total and individual migration times. The experiments show that the controller shortens the individual migration time by up to 5.7 fold compared to that of the static VM migrations where the number of parallel migrations does not change until all migrations are completed. The contributions of this work are 1) introducing migration strategies for multiple VMs on WANs and 2) proposing a hypervisor-independent controller that adapts to network bandwidth fluctuations in disaster scenarios.

关键词： Disaster recovery Controller Self-adaptive Live migration Virtualization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：