Self-organized public key management in MANETs with enhanced security and without certificate-chains

In the self-organized public key management approaches, public key verification is achieved through verification routes constituted by the transitive trust relationships among the network principals. Most of the existing approaches do not distinguish among different available verification routes. Moreover, to ensure stronger security, it is important to choose an appropriate metric to evaluate the strength of a route. Besides, all of the existing self-organized approaches use certificate-chains for achieving authentication, which are highly resource consuming. In this paper, we present a self-organized certificate-less on-demand public key management (CLPKM) protocol, which aims at providing the strongest verification routes for authentication purposes. It restricts the compromise probability for a verification route by restricting its length. Besides, we evaluate the strength of a verification route using its end-to-end trust value. The other important aspect of the protocol is that it uses a MAC function instead of RSA certificates to perform public key verifications. By doing this, the protocol saves considerable computation power, bandwidth and storage space. We have used an extended strand space model to analyze the correctness of the protocol. The analytical, simulation, and the testbed implementation results confirm the effectiveness of the proposed protocol. (c) 2014 Elsevier B.V. All rights reserved.

基于理想的协议安全性分析

1998年，Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具．并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性．由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系，利用理想的结构来分析协议的一些安全性质，例如保密性、认证性、零知识性以及如何抵抗猜测攻击．

认证测试的一个扩展

对Guttman等人提出的3种测试中的输入测试（incomingtest）进行扩展，使其能够用来分析使用签名和验证的协议，如CCITTX．509协议等．使用扩展后的输入测试来分析CCITTX．509协议的正确性，发现它的不足之处．

基于单向陷门函数的TMN协议的改进

提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式，利用串空间理论证明了它的安全性，并给出了几个具体的实现形式。

Space, place and power : the spatial turn in literacy research

Place matters to literacy because the meanings of our language and actions are always materially and socially placed in the world (Scollon & Scollon, 2003). We cannot interpret signs, whether an icon, symbol, gesture, word, or action, without taking into account their associations with other meanings and objects in places. This chapter maps an emergent strand of literacy research that foregrounds place and space as constitutive, rather than a backdrop for the real action. Space and place are seen as relational and dynamic, not as fixed and unchanging. Space and place are socially produced, and hence, can be contested, re-imagined and re-made. In bringing space and place into the frame of literacy studies we see a subtle shift – a rebalancing of the semiotic with the materiality of lived, embodied, and situated experience. ...

RNASeqBrowser: A genome browser for simultaneous visualization of raw strand specific RNAseq reads and UCSC genome browser custom tracks

Background Strand specific RNAseq data is now more common in RNAseq projects. Visualizing RNAseq data has become an important matter in Analysis of sequencing data. The most widely used visualization tool is the UCSC genome browser that introduced the custom track concept that enabled researchers to simultaneously visualize gene expression at a particular locus from multiple experiments. Our objective of the software tool is to provide friendly interface for visualization of RNAseq datasets. Results This paper introduces a visualization tool (RNASeqBrowser) that incorporates and extends the functionality of the UCSC genome browser. For example, RNASeqBrowser simultaneously displays read coverage, SNPs, InDels and raw read tracks with other BED and wiggle tracks -- all being dynamically built from the BAM file. Paired reads are also connected in the browser to enable easier identification of novel exon/intron borders and chimaeric transcripts. Strand specific RNAseq data is also supported by RNASeqBrowser that displays reads above (positive strand transcript) or below (negative strand transcripts) a central line. Finally, RNASeqBrowser was designed for ease of use for users with few bioinformatic skills, and incorporates the features of many genome browsers into one platform. Conclusions The features of RNASeqBrowser: (1) RNASeqBrowser integrates UCSC genome browser and NGS visualization tools such as IGV. It extends the functionality of the UCSC genome browser by adding several new types of tracks to show NGS data such as individual raw reads, SNPs and InDels. (2) RNASeqBrowser can dynamically generate RNA secondary structure. It is useful for identifying non-coding RNA such as miRNA. (3) Overlaying NGS wiggle data is helpful in displaying differential expression and is simple to implement in RNASeqBrowser. (4) NGS data accumulates a lot of raw reads. Thus, RNASeqBrowser collapses exact duplicate reads to reduce visualization space. Normal PC’s can show many windows of NGS individual raw reads without much delay. (5) Multiple popup windows of individual raw reads provide users with more viewing space. This avoids existing approaches (such as IGV) which squeeze all raw reads into one window. This will be helpful for visualizing multiple datasets simultaneously. RNASeqBrowser and its manual are freely available at http://www.australianprostatecentre.org/research/software/rnaseqbrowser webcite or http://sourceforge.net/projects/rnaseqbrowser/ webcite

Loss of p15/Ink4b accompanies tumorigenesis triggered by complex DNA double-strand breaks

DNA double-strand breaks (DSBs) are the most deleterious lesion inflicted by ionizing radiation. Although DSBs are potentially carcinogenic, it is not clear whether complex DSBs that are refractory to repair are more potently tumorigenic compared with simple breaks that can be rapidly repaired, correctly or incorrectly, by mammalian cells. We previously demonstrated that complex DSBs induced by high-linear energy transfer (LET) Fe ions are repaired slowly and incompletely, whereas those induced by low-LET gamma rays are repaired efficiently by mammalian cells. To determine whether Fe-induced DSBs are more potently tumorigenic than gamma ray-induced breaks, we irradiated 'sensitized' murine astrocytes that were deficient in Ink4a and Arf tumor suppressors and injected the surviving cells subcutaneously into nude mice. Using this model system, we find that Fe ions are potently tumorigenic, generating tumors with significantly higher frequency and shorter latency compared with tumors generated by gamma rays. Tumor formation by Fe-irradiated cells is accompanied by rampant genomic instability and multiple genomic changes, the most interesting of which is loss of the p15/Ink4b tumor suppressor due to deletion of a chromosomal region harboring the CDKN2A and CDKN2B loci. The additional loss of p15/Ink4b in tumors derived from cells that are already deficient in p16/Ink4a bolsters the hypothesis that p15 plays an important role in tumor suppression, especially in the absence of p16. Indeed, we find that reexpression of p15 in tumor-derived cells significantly attenuates the tumorigenic potential of these cells, indicating that p15 loss may be a critical event in tumorigenesis triggered by complex DSBs.

Numerical approximation of a fractional-in-space diffusion equation (II) - with nonhomogeneous boundary conditions

In this paper, a space fractional di®usion equation (SFDE) with non- homogeneous boundary conditions on a bounded domain is considered. A new matrix transfer technique (MTT) for solving the SFDE is proposed. The method is based on a matrix representation of the fractional-in-space operator and the novelty of this approach is that a standard discretisation of the operator leads to a system of linear ODEs with the matrix raised to the same fractional power. Analytic solutions of the SFDE are derived. Finally, some numerical results are given to demonstrate that the MTT is a computationally e±cient and accurate method for solving SFDE.