An Empirical Analysis of Heterogeneity in IEEE 802.11 MAC Protocol Implementations and its Implications

Wireless LAN (WLAN) market consists of IEEE 802.11 MAC standard conformant devices (e.g., access points (APs), client adapters) from multiple vendors. Certain third party certifications such as those specified by the Wi-Fi alliance have been widely used by vendors to ensure basic conformance to the 802.11 standard, thus leading to the expectation that the available devices exhibit identical MAC level behavior. In this paper, however, we present what we believe to be the first ever set of experimental results that highlight the fact that WLAN devices from different vendors in the market can have heterogeneous MAC level behavior. Specifically, we demonstrate with examples and data that in certain cases, devices may not be conformant with the 802.11 standard while in other cases, they may differ in significant details that are not a part of mandatory specifications of the standard. We argue that heterogeneous MAC implementations can adversely impact WLAN operations leading to unfair bandwidth allocation, potential break-down of related MAC functionality and difficulties in provisioning the capacity of a WLAN. However, on the positive side, MAC level heterogeneity can be useful in applications such as vendor/model level device fingerprinting.

A unification-based decision procedure for cryptographic protocol analysis

We present a sound and complete decision procedure for the bounded process cryptographic protocol insecurity problem, based on the notion of normal proofs [2] and classical unification. We also show a result about the existence of attacks with “high” normal cuts. Our proof of correctness provides an alternate proof and new insights into the fundamental result of Rusinowitch and Turuani [9] for the same setting.

An adaptive MAC protocol in MANETs: a democratic approach

Mobile ad-hoc networks (MANETs) have recently drawn significant research attention since they offer unique benefits and versatility with respect to bandwidth spatial reuse, intrinsic fault tolerance, and low-cost rapid deployment. This paper addresses the issue of delay sensitive realtime data transport in these type of networks. An effective QoS mechanism is thereby required for the speedy transport of the realtime data. QoS issue in MANET is an open-end problem. Various QoS measures are incorporated in the upperlayers of the network, but a few techniques addresses QoS techniques in the MAC layer. There are quite a few QoS techniques in the MAC layer for the infrastructure based wireless network. The goal and the challenge is to achieve a QoS delivery and a priority access to the real time traffic in adhoc wireless environment, while maintaining democracy in the resource allocation. We propose a MAC layer protocol called "FCP based FAMA protocol", which allocates the channel resources to the needy in a more democratic way, by examining the requirements, malicious behavior and genuineness of the request. We have simulated both the FAMA as well as FCP based FAMA and tested in various MANET conditions. Simulated results have clearly shown a performance improvement in the channel utilization and a decrease in the delay parameters in the later case. Our new protocol outperforms the other QoS aware MAC layer protocols.

H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions

The success of an ABV IP depends highly on the associated debugging environment. An efficient debugging environment helps the user to find out the exact location of the failure. Moreover, it provides information to the user in a refined detail of abstraction and permit adequate interaction. It has also been realized that adequate visualization support helps in tracking the behavioral aspects of the Design Under Test (DUT). Currently, the debugging tools provide information in the signal level and do not provide any information about the high-level behavior of the DUT. We present a debugging framework that takes the design specification, assertions and the user intent in a simple format and provides detailed information by processing the design trace on-line, or off-line. We also present a visualization framework to ease the debugging procedure. We have experimented with industrial standard on-chip bus protocols that ensure that this utility can be incorporated successfully in the present functional verification flow.

An Efficient Distributed Scheme for Source Routing Protocol in Communication Networks

In this paper, we propose an efficient source routing algorithm for unicast flows, which addresses the scalability problem associated with the basic source routing technique. Simulation results indicate that the proposed algorithm indeed helps in reducing the message overhead considerably, and at the same time it gives comparable performance in terms of resource utilization across a wide range of workloads.

Novel and efficient protocol for the syntheses of N-1 substituted thiohydantoin and a bicyclothiohydantoin under solvent-free conditions

A novel approach for the synthesis of N-1 substituted thiohydantoin has been developed to give quantitative yields of the desired products. The efficient synthesis of bis-thiohydantoin derivative and bicyclothiohydantoin has extended scope and applicability of present method. Solvent-free conditions and very easy work-up procedure make the reaction convenient and eco-friendly. All the products were characterized by spectroscopic techniques and elemental analysis, and finally the structure of representative ;compound was also confirmed by X-ray crystallography. (C) 2012 Elsevier Ltd. All rights reserved.

A weighted average-based external clock synchronisation protocol for wireless sensor networks

Wireless Sensor Networks (WSNs) have many application scenarios where external clock synchronisation may be required because a WSN may consist of components which are not connected to each other. In this paper, we first propose a novel weighted average-based internal clock synchronisation (WICS) protocol, which synchronises all the clocks of a WSN with the clock of a reference node periodically. Based on this protocol, we then propose our weighted average-based external clock synchronisation (WECS) protocol. We have analysed the proposed protocols for maximum synchronisation error and shown that it is always upper bounded. Extensive simulation studies of the proposed protocols have been carried out using Castalia simulator. Simulation results validate our above theoretical claim and also show that the proposed protocols perform better in comparison to other protocols in terms of synchronisation accuracy. A prototype implementation of the WICS protocol using a few TelosB motes also validates the above conclusions.

Activation of TGF-beta Pathway by Areca Nut Constituents: A Possible Cause of Oral Submucous Fibrosis

Oral submucous fibrosis (OSF) is a chronic inflammatory disease characterized by the accumulation of excess collagen, and areca nut chewing has been proposed as an important etiological factor for disease manifestation. Activation of transforming growth factor-beta signaling has been postulated as the main causative event for increased collagen production in OSF. Oral epithelium plays important roles in OSF, and arecoline has been shown to induce TGF-beta in epithelial cells. In an attempt to understand the role of areca nut constituents in the manifestation of OSF, we studied the global gene expression profile in epithelial cells (HaCaT) following treatment with areca nut water extract or TGF-beta. Interestingly, 64% of the differentially regulated genes by areca nut water extract matches with the TGF-beta induced gene expression profile. Out of these, expression of 57% of genes was compromised in the presence of ALK5 (T beta RI) inhibitor and 7% were independently induced by areca nut, highlighting the importance of TGF-beta in areca nut actions. Areca nut water extract treatment induced p-SMAD2 and TGF-beta downstream targets in HaCaT cells but not in human gingival fibroblast cells (hGF), suggesting epithelial cells could be the source of TGF-beta in promoting OSF. Water extract of areca nut consists of polyphenols and alkaloids. Both polyphenol and alkaloid fractions of areca nut were able to induce TGF-beta signaling and its downstream targets. Also, SMAD-2 was phosphorylated following treatment of HaCaT cells by Catechin, Tannin and alkaloids namely Arecoline, Arecaidine and Guvacine. Moreover, both polyphenols and alkaloids induced TGF-beta 2 and THBS1 (activator of latent TGF-beta) in HaCaT cells suggesting areca nut mediated activation of p-SMAD2 involves up-regulation and activation of TGF-beta. These data suggest a major causative role for TGF-beta that is induced by areca nut in OSF progression.

Oncogenic MicroRNA-155 Down-regulates Tumor Suppressor CDC73 and Promotes Oral Squamous Cell Carcinoma Cell Proliferation IMPLICATIONS FOR CANCER THERAPEUTICS

The CDC73 gene is mutationally inactivated in hereditary and sporadic parathyroid tumors. It negatively regulates beta-catenin, cyclin D1, and c-MYC. Down-regulation of CDC73 has been reported in breast, renal, and gastric carcinomas. However, the reports regarding the role of CDC73 in oral squamous cell carcinoma (OSCC) are lacking. In this study we show that CDC73 is down-regulated in a majority of OSCC samples. We further show that oncogenic microRNA-155 (miR-155) negatively regulates CDC73 expression. Our experiments show that the dramatic up-regulation of miR-155 is an exclusive mechanism for down-regulation of CDC73 in a panel of human cell lines and a subset of OSCC patient samples in the absence of loss of heterozygosity, mutations, and promoter methylation. Ectopic expression of miR-155 in HEK293 cells dramatically reduced CDC73 levels, enhanced cell viability, and decreased apoptosis. Conversely, the delivery of a miR-155 antagonist (antagomir-155) to KB cells overexpressing miR-155 resulted in increased CDC73 levels, decreased cell viability, increased apoptosis, and marked regression of xenografts in nude mice. Cotransfection of miR-155 with CDC73 in HEK293 cells abrogated its pro-oncogenic effect. Reduced cell proliferation and increased apoptosis of KB cells were dependent on the presence or absence of the 3'-UTR in CDC73. In summary, knockdown of CDC73 expression due to overexpression of miR-155 not only adds a novelty to the list of mechanisms responsible for its down-regulation in different tumors, but the restoration of CDC73 levels by the use of antagomir-155 may also have an important role in therapeutic intervention of cancers, including OSCC.

Design and analysis of a peer-to-peer based distributed clock synchronisation protocol for wireless sensor networks

Clock synchronisation is an important requirement for various applications in wireless sensor networks (WSNs). Most of the existing clock synchronisation protocols for WSNs use some hierarchical structure that introduces an extra overhead due to the dynamic nature of WSNs. Besides, it is difficult to integrate these clock synchronisation protocols with sleep scheduling scheme, which is a major technique to conserve energy. In this paper, we propose a fully distributed peer-to-peer based clock synchronisation protocol, named Distributed Clock Synchronisation Protocol (DCSP), using a novel technique of pullback for complete sensor networks. The pullback technique ensures that synchronisation phases of any pair of clocks always overlap. We have derived an exact expression for a bound on maximum synchronisation error in the DCSP protocol, and simulation study verifies that it is indeed less than the computed upper bound. Experimental study using a few TelosB motes also verifies that the pullback occurs as predicted.

A generic variant of NIST’s KAS2 key agreement protocol

We propose a generic three-pass key agreement protocol that is based on a certain kind of trapdoor one-way function family. When specialized to the RSA setting, the generic protocol yields the so-called KAS2 scheme that has recently been standardized by NIST. On the other hand, when specialized to the discrete log setting, we obtain a new protocol which we call DH2. An interesting feature of DH2 is that parties can use different groups (e.g., different elliptic curves). The generic protocol also has a hybrid implementation, where one party has an RSA key pair and the other party has a discrete log key pair. The security of KAS2 and DH2 is analyzed in an appropriate modification of the extended Canetti-Krawczyk security model.

An adaptive reliable transport protocol based on automatic reSend reQuest(ASQ) technique for wireless sensor networks

There are many wireless sensor network(WSN) applications which require reliable data transfer between the nodes. Several techniques including link level retransmission, error correction methods and hybrid Automatic Repeat re- Quest(ARQ) were introduced into the wireless sensor networks for ensuring reliability. In this paper, we use Automatic reSend request(ASQ) technique with regular acknowledgement to design reliable end-to-end communication protocol, called Adaptive Reliable Transport(ARTP) protocol, for WSNs. Besides ensuring reliability, objective of ARTP protocol is to ensure message stream FIFO at the receiver side instead of the byte stream FIFO used in TCP/IP protocol suite. To realize this objective, a new protocol stack has been used in the ARTP protocol. The ARTP protocol saves energy without affecting the throughput by sending three different types of acknowledgements, viz. ACK, NACK and FNACK with semantics different from that existing in the literature currently and adapting to the network conditions. Additionally, the protocol controls flow based on the receiver's feedback and congestion by holding ACK messages. To the best of our knowledge, there has been little or no attempt to build a receiver controlled regularly acknowledged reliable communication protocol. We have carried out extensive simulation studies of our protocol using Castalia simulator, and the study shows that our protocol performs better than related protocols in wireless/wire line networks, in terms of throughput and energy efficiency.

A weighted average based external clock synchronization protocol for wireless sensor networks

Clock synchronization is an extremely important requirement of wireless sensor networks(WSNs). There are many application scenarios such as weather monitoring and forecasting etc. where external clock synchronization may be required because WSN itself may consists of components which are not connected to each other. A usual approach for external clock synchronization in WSNs is to synchronize the clock of a reference node with an external source such as UTC, and the remaining nodes synchronize with the reference node using an internal clock synchronization protocol. In order to provide highly accurate time, both the offset and the drift rate of each clock with respect to reference node are estimated from time to time, and these are used for getting correct time from local clock reading. A problem with this approach is that it is difficult to estimate the offset of a clock with respect to the reference node when drift rate of clocks varies over a period of time. In this paper, we first propose a novel internal clock synchronization protocol based on weighted averaging technique, which synchronizes all the clocks of a WSN to a reference node periodically. We call this protocol weighted average based internal clock synchronization(WICS) protocol. Based on this protocol, we then propose our weighted average based external clock synchronization(WECS) protocol. We have analyzed the proposed protocols for maximum synchronization error and shown that it is always upper bounded. Extensive simulation studies of the proposed protocols have been carried out using Castalia simulator. Simulation results validate our theoretical claim that the maximum synchronization error is always upper bounded and also show that the proposed protocols perform better in comparison to other protocols in terms of synchronization accuracy. A prototype implementation of the proposed internal clock synchronization protocol using a few TelosB motes also validates our claim.

Primary Microcephaly Gene MCPH1 Shows Signatures of Tumor Suppressors and Is Regulated by miR-27a in Oral Squamous Cell Carcinoma

Mutations in the MCPH1 (microcephalin 1) gene, located at chromosome 8p23.1, result in two autosomal recessive disorders: primary microcephaly and premature chromosome condensation syndrome. MCPH1 has also been shown to be downregulated in breast, prostate and ovarian cancers, and mutated in 1/10 breast and 5/41 endometrial tumors, suggesting that it could also function as a tumor suppressor (TS) gene. To test the possibility of MCPH1 as a TS gene, we first performed LOH study in a panel of 81 matched normal oral tissues and oral squamous cell carcinoma (OSCC) samples, and observed that 14/71 (19.72%) informative samples showed LOH, a hallmark of TS genes. Three protein truncating mutations were identified in 1/15 OSCC samples and 2/5 cancer cell lines. MCPH1 was downregulated at both the transcript and protein levels in 21/41 (51.22%) and 19/25 (76%) OSCC samples respectively. A low level of MCPH1 promoter methylation was also observed in 4/40 (10%) tumor samples. We further observed that overexpression of MCPH1 decreased cellular proliferation, anchorage-independent growth in soft agar, cell invasion and tumor size in nude mice, indicating its tumor suppressive function. Using bioinformatic approaches and luciferase assay, we showed that the 3'-UTR of MCPH1 harbors two non-overlapping functional seed regions for miR-27a which negatively regulated its level. The expression level of miR-27a negatively correlated with the MCPH1 protein level in OSCC. Our study indicates for the first time that, in addition to its role in brain development, MCPH1 also functions as a tumor suppressor gene and is regulated by miR-27a.