Very recently, an arbitrated quantum signature (AQS) scheme of classical message with an untrusted arbitrator was presented[Eur. Phys. J. D 61(3), 773 (2011)]. In this paper, the security of the AQS scheme with an untrusted arbitrator is analyzed. An AQS scheme with an untrusted arbitrator should satisfy the unforgeable property and undeniable property. In particular, the malicious verifier can...

Combining security solutions in order to achieve stronger (combined) security properties is not straightforward. This paper shows that security-preserving alphabetic language homomorphisms can be used to derive security results for combined security solutions. A relatively simple example of the combination of two different authentication properties (device authentication using a trusted platfor...

We describe our work on using Semantic MediaWiki as a central platform for managing IT services and the underlying technical components within an organization. We present our toolkit of MediaWiki extensions which add ITSM-specific functionalities to Semantic MediaWiki and describe their interactions. We also outline the benefits gained by using Semantic Technologies in IT Service Management.

One can prove the following proposition (1) For every non empty finite sequence p holds 〈p(1)〉 aa p = p. Let p, q be finite sequences. The functor maxPrefix(p, q) yields a finite sequence and is defined by: (Def. 1) maxPrefix(p, q) p and maxPrefix(p, q) q and for every finite sequence r such that r p and r q holds r maxPrefix(p, q). Let us observe that the functor maxPrefix(p, q) is commutative...

With experience of Emergency Response System implement, the exist problem and research status in china is analyzed. Based on these conclusions, the Emergency Response System is constructed which used the J2EE tool, faced to small and medium-size cities, moreover, the research on key technologies related in this architecture are introduced in detail.

Ethemba provides a framework and demonstrator for TPM applications.

We describe and explain new advancements in the design of the aerodynamic force platform, a novel instrument that can directly measure the aerodynamic forces generated by freely flying animals and robots. Such in vivo recordings are essential to better understand the precise aerodynamic function of flapping wings in nature, which can critically inform the design of new bioinspired robots. By de...

Due to the heightened competition introduced by the potential global market and the need for structural changes within organisations delivering e-content, e-learning policy is beginning to take on a more significant role within the context of educational policy per se. For this reason it is becoming increasingly important to establish what effect such policies have and how they are achieved. Th...