A distributed systems approach to secure Internet mail

One of the obstacles to improved security of the Internet is ad hoc development of technologies with different design goals and different security goals. This paper proposes reconceptualizing the Internet as a secure distributed system, focusing specifically on the application layer. The notion is to redesign specific functionality, based on principles discovered in research on distributed systems in the decades since the initial development of the Internet. Because of the problems in retrofitting new technology across millions of clients and servers, any options with prospects of success must support backward compatibility. This paper outlines a possible new architecture for internet-based mail which would replace existing protocols by a more secure framework. To maintain backward compatibility, initial implementation could offer a web browser-based front end but the longer-term approach would be to implement the system using appropriate models of replication. (C) 2005 Elsevier Ltd. All rights reserved.

Site-directed mutants of RTP of Bacillus subtilis and the mechanism of replication fork arrest

DNA replication fork arrest during the termination phase of chromosome replication in Bacillus subtilis is brought about by the replication terminator protein (RTP) bound to specific DNA terminator sequences (Tev sites) distributed throughout the terminus region. An attractive suggestion by others was that crucial to the functioning of the RTP-Ter complex is a specific interaction between RTP positioned on the DNA and the helicase associated with the approaching replication fork. Ln support of this was the behaviour of two site-directed mutants of RTP. They appeared to bind Ter DNA normally but were ineffective in fork arrest as ascertained by in vitro Escherichia coli DnaB helicase and replication assays. We describe here a system for assessing the fork-arrest behaviour of RTP mutants in a bona fide in vivo assay in B. subtilis. One of the previously studied mutants, RTP.Y33N, was non-functional in fork arrest in vivo, as predicted. But through extensive analyses, this RTP mutant was shown to be severely defective in binding to Ter DNA, contrary to expectation. Taken in conjunction with recent findings on the other mutant (RTP.E30K), it is concluded that there is as yet no substantive evidence from the behaviour of RTP mutants to support the Rm-helicase interaction model for fork arrest. In an extension of the present work on RTP.Y33N, we determined the dissociation rates of complexes formed by wild-type (wt) RTP and another RTP mutant with various terminator sequences. The functional wtRTP-TerI complex was quite stable (half-life of 182 minutes), reminiscent of the great stability of the E. coli Tus-Ter complex. More significant were the exceptional stabilities of complexes comprising wtRTP and an RTP double-mutant (E39K.R42Q) bound to some particular terminator sequences. From the measurement of in vivo fork-arrest activities of the various complexes, it is concluded that the stability (half-life) of the whole RTP-Ter complex is not the overriding determinant of arrest, and that the RTP-Ter complex must be actively disrupted, or RTP removed, by the action of the approaching replication fork. (C) 1999 Academic Press.

Development of disabled, replication-defective gene transfer vectors from the Jembrana disease virus, a new infectious agent of cattle

Jembrana disease virus (JDV) is a newly isolated and characterised bovine lentivirus. It causes an acute disease in Ball cattle (Bos javanicus). which can be readily transmitted to susceptible cattle with 17% mortality. There is as yet no treatment or preventive vaccine. We have developed a gene transfer vector system based on JDV that has three components. The first of the components is a bicistronic transfer vector plasmid that was constructed to contain cis-sequences from the JDV genome, including 5 '- and 3 ' -long terminal repeats (LTRs), 0.4 kb of truncated gag and 1.1 kb of 3 ' -env, a multiple cloning site to accommodate the gene(s) of interest for transfer, and an internal ribosome entry site plus the neomycin phosphotransferase (Neo) gene cassette for antibiotic selection. The second element is a packaging plasmid that contains trans-sequences. including gag, pol. vif, tar and rev: but without the env and packaging signals. The third is a plasmid encoding the G glycoprotein of vesicular stomatitis virus (VSV-G) to supply the vector an envelope for pseudotyping. Cotransfection of 293T cells with these three plasmid components produced VSV-G pseudotyped. disabled, replication defective, bicistronic JDV vectors encoding the green fluorescent protein (EGFP) and the Neo resistance selection maker simultaneously with a titre range of (0.4-1.2) x 10(6) CFU/ml. Transduction of several replicating primary and transformed cells from cattle, primate and human sources and importantly growth-arrested cells with the JDV vectors showed high efficiency of EGFP gene transfer at 35-75%, which was stable and the expression of EGFP was long term. Furthermore, these JDV vectors were designed to suit the inclusion and expression of genes corresponding to JDV specific proteins, such as gag or env, for the development of vaccines for Jembrana disease. This strategy should also be applicable to other bovine diseases as wall. The design and construction of the JDV vector system should facilitate the study of the lentivirology and pathogenesis of the diseases associated with JDV or other bovine virus infections. To our knowledge, this is the first such vector system developed from a cattle virus. (C) 2001 Elsevier Science B.V. All rights reserved.

Complementation analysis of the flavivirus Kunjin NS3 and NS5 proteins defines the minimal regions essential for formation of a replication complex and shows a requirement of NS3 in cis for virus assembly

We have previously reported successful trans-complementation of defective Kunjin virus genomic RNAs with a range of large lethal deletions in the nonstructural genes NSI, NS3, and NS5 (A. A. Khromykh et al., J. Virol. 74:3253-3263, 2000). In this study we have mapped further the minimal region in the NS5 gene essential for efficient trans-complementation of genome-length RNAs in repBHK cells to the first 316 of the 905 codons. To allow amplification and easy detection of complemented defective RNAs with deletions apparently affecting virus assembly, we have developed a dual replicon complementation system. In this system defective replicon RNAs with a deletion(s) in the nonstructural genes also encoded the puromycin resistance gene (PAC gene) and the reporter gene for beta-galactosidase (beta-Gal). Complementation of these defective replicon RNAs in repBHK cells resulted in expression of PAC and beta-Gal which allowed establishment of cell lines stably producing replicating defective RNAs by selection with puromycin and comparison of replication efficiencies of complemented defective RNAs by beta-Gal assay. Using this system we demonstrated that deletions in the C-terminal 434 codons of NS3 (codons 178 to 611) were complemented for RNA replication, while any deletions in the first 178 codons were not. None of the genome-length RNAs containing deletions in NS3 shown to be complementable for RNA replication produced secreted defective viruses during complementation in repBHK cells. In contrast, structural proteins produced from these complemented defective RNAs were able to package helper replicon RNA. The results define minimal regions in the NS3 and NS5 genes essential for the formation of complementable replication complex and show a requirement of NS3 in cis for virus assembly.

Differential requirements for COPI coats in formation of replication complexes among three genera of Picornaviridae

Picornavirus RNA replication requires the formation of replication complexes (RCs). consisting of virus-induced vesicles associated with viral nonstructural proteins and RNA. Brefeldin A (BFA) has been shown to strongly inhibit RNA replication of poliovirus but not of encephalomyocarditis virus (EMCV). Here, we demonstrate that the replication of parechovirus 1 (ParV1) is partly resistant to BFA, whereas echovirus 11 (EV11) replication is strongly inhibited. Since BFA inhibits COPI-dependent steps in endoplasmic reticulum (ER)-Golgi transport, we tested a hypothesis that different picornaviruses may have differential requirements for COPI in the formation of their RCs. Using immunofluorescence and cryo-immunoelectron microscopy we examined the association of a COPI component, beta-COP, with the RCs of EMCV, ParV1, and EV11 EMCV RCs did not contain beta-COP. In contrast, beta-COP appeared to be specifically distributed to the RCs of EV11 In ParV1-infected cells beta-COP was largely dispersed throughout the cytoplasm, with some being present in the RCs. These results suggest that there are differences in the involvement of COPI in the formation of the RCs of various picornaviruses, corresponding to their differential sensitivity to BFA. EMCV RCs are likely to be formed immediately after vesicle budding from the ER, prior to COPI association with membranes. ParV1 RCs are formed from COPI-containing membranes but COPI is unlikely to be directly involved in their formation, whereas formation of EV11 RCs appears to be dependent on COPI association with membranes.

Inducible system in human hepatoma cell lines for hepatitis C virus production

We cloned the complete complementary DNA of an isolate of the hepatitis C virus, HCV-S1, into a tetra cycline-inducible expression vector and stably transfected it into two human hepatoma cell lines, Huh7 and HepG2. Twenty-six Huh7 and two HepG2-positive clones were obtained after preliminary screening. Two Huh7 (SH-7 and -9) and one HepG2 (G-19) clones were chosen for further characterisation. Expression of HCV proteins in these cells accumulated from 6 In to 4 days posttreatment. Full-length viral plus-strand RNA was detected by Northern analyses. Using RT-PCR and ribonuclease protection assay, we also detected the synthesis of minus-strand HCV RNA. Plus- and minus-strand viral RNA was still detected after treatment with actinomycin D. Indirect immunofluorescence staining with anti-E2, NS4B, and NS5A revealed that these proteins were mostly localised to the endoplasmic reticulum (ER). Culture media from tet-induced SH-9 cells was separated on sucrose density gradients and analysed for the presence of HCV RNA. Viral RNA levels peaked at two separate ranges, one with a buoyant density of 1.08 g/ml and another from 1.17 to 1.39 g/ml. Electron microscopy demonstrated the presence of subviral-like particles (approximately 20-25 nm in diameter) in the cytoplasm of SH-9 and G-19 cells, which were positively labelled by anti-HCV core antibodies. Anti-E2 antibodies strongly labelled cytoplasmic vesicular structures and some viral-like particles. Complete viral particles of about 50 nm which reacted with anti-E2 antibodies were observed in the culture media of tet-induced SH-9 cells following negative staining. Supernatant from tet-treated SH-9 cells was found to infect naive Huh7 and stable Huh7-human CD81 cells. (C) 2002 Elsevier Science (USA).

Optimally distributed actuator placement and control for a slewing single-link flexible manipulator

A method is proposed for determining the optimal placement and controller design for multiple distributed actuators to reduce the vibrations of flexible structures. In particular, application of piezoceramic patches to a horizontally-slewing single-link flexible manipulator modeled using the assumed modes method is investigated. The optimization method uses simulated annealing and allows placement of any number of distributed actuators of unequal length, although piezoceramics of fixed equal lengths are used in the example. It also designs an linear-quadratic-regulator controller as part of the optimization procedure. The measures of performance used in the investigation to determine optimality are the total mass of the system and the time integral of the absolute value of the hub and tip position error. This study also varies the relative weightings for each of these performance measures to observe the effects on the controller designs and piezoceramic patch positions in the optimized solutions.

Functional dissection of the Suppressor of UnderReplication protein of Drosophila melanogaster: identification of domains influencing chromosome binding and DNA replication

The Suppressor of UnderReplication (SuUR) gene controls the DNA underreplication in intercalary and pericentric heterochromatin of Drosophila melanogaster salivary gland polytene chromosomes. In the present work, we investigate the functional importance of different regions of the SUUR protein by expressing truncations of the protein in an UAS-GAL4 system. We find that SUUR has at least two separate chromosome-binding regions that are able to recognize intercalary and pericentric heterochromatin specifically. The C-terminal part controls DNA underreplication in intercalary heterochromatin and partially in pericentric heterochromatin regions. The C-terminal half of SUUR suppresses endoreplication when ectopically expressed in the salivary gland. Ectopic expression of the N-terminal fragments of SUUR depletes endogenous SUUR from polytene chromosomes, causes the SuUR(-) stopphenotype and induces specific swellings in heterochromatin.

Replication of association of IL1 gene complex members with ankylosing spondylitis in Taiwanese Chinese

Objective: To test the association of interleukin 1 ( IL1) gene family members with ankylosing spondylitis ( AS), previously reported in Europid subjects, in an ethnically remote population. Methods: 200 Taiwanese Chinese AS patients and 200 ethnically matched healthy controls were genotyped for five single nucleotide polymorphisms ( SNPs) and the IL1RN. VNTR, markers previously associated with AS. Allele, genotype, and haplotype frequencies were compared between cases and controls. Results: Association of alleles and genotypes of the markers IL1F10.3, IL1RN. 4, and IL1RN. VNTR was observed with AS ( p < 0.05). Haplotypes of pairs of these markers and of the markers IL1RN.6/1 and IL1RN.6/2 were also significantly associated with AS. The strongest associations observed were with the marker IL1RN. 4, and with the two-marker haplotype IL1RN.4-IL1RN.VNTR ( both p = 0.004). Strong linkage disequilibrium was observed between all marker pairs except those involving IL1B-511 ( D' 0.4 to 0.9, p < 0.01). Conclusions: The IL1 gene cluster is associated with AS in Taiwanese Chinese. This finding provides strong statistical support that the previously observed association of this gene cluster with AS is a true positive finding.

Moomba - A collaborative environment for supporting distributed extreme programming in global software development

Global Software Development (GSD) is an emerging distributive software engineering practice, in which a higher communication overhead due to temporal and geographical separation among developers is traded with gains in reduced development cost, improved flexibility and mobility for developers, increased access to skilled resource-pools and convenience of customer involvements. However, due to its distributive nature, GSD faces many fresh challenges in aspects relating to project coordination, awareness, collaborative coding and effective communication. New software engineering methodologies and processes are required to address these issues. Research has shown that, with adequate support tools, Distributed Extreme Programming (DXP) – a distributive variant of an agile methodology – Extreme Programming (XP) can be both efficient and beneficial to GDS projects. In this paper, we present the design and realization of a collaborative environment, called Moomba, which assists a distributed team in both instantiation and execution of a DXP process in GSD projects.

Effect of line of sight propagation on capacity of an indoor MIMO system

In this paper the performance of a multiple input multiple output (MIMO) wireless communication system operating in an indoor environment, featuring both line of sight (LOS) and non-line of sight (NLOS) signal propagation, is assessed. In the model the scattering objects are assumed to be uniformly distributed in an area surrounding the transmitting and receiving array antennas. Mutual coupling effects in the arrays are treated in an exact manner. However interactions with scattering objects are taken into account via a single bounce approach. Computer simulations are carried out for the system capacity for varying inter-element spacing in the receiving array for assumed values of LOS/NLOS power fraction and signal to noise ratio (SNR).

Agent-based distributed software verification

Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem provers. In this paper we propose an agent-oriented architecture for interactive theorem proving with the aim of reducing the user interactions (and thus the cost) of constructing software verification proofs. We describe a prototype implementation of our architecture and discuss its application to a small, but non-trivial case study.