Abstract

Reverse Watson-Crick G:C basepairs (G:C W:W Trans) occur frequently in different functional RNAs. This is one of the few basepairs whose gas-phase-optimized isolated geometry is inconsistent with the corresponding experimental geometry. Several earlier studies indicate that through post-transcriptional modification, direct protonation, or coordination with Mg2+, accumulation of positive charge near N7 of guanine can stabilize the experimental geometry. Interestingly, recent studies reveal significant variation in the position of putatively bound Mg2+. This, in conjunction with recently raised doubts regarding some of the Mg2+ assignments near the imino nitrogen of guanine, is suggestive of the existence of multiple Mg2+ binding modes for this basepair. Our detailed investigation of Mg2+-bound G:C W:W Trans pairs occurring in high-resolution RNA crystal structures shows that they are found in 14 different …

Abstract

A novel approach to accurately determine residue-specific noncovalent interaction strengths (ξ) of proteins from NMR-measured fast side chain motional parameters (Oaxis2) is presented. By probing the environmental sensitivity of side chain conformational energy surfaces of individual residues of a diverse set of proteins, the microscopic connections between ξ, Oaxis2, conformational entropy (Sconf), conformational barriers, and rotamer stabilities established here are found to be universal among proteins. The results reveal that side chain flexibility and conformational entropy of each residue decrease with increasing ξ and that for each residue type there exists a critical range of ξ, determined primarily by the mean side chain conformational barriers, within which flexibility of any residue can be reversibly tuned from highly flexible (with Oaxis2 ∼ 0) to highly restricted (with Oaxis2 ∼ 1) by increasing ξ by ∼3 kcal …

Abstract

An understanding of the determinants of the thermal stability of thermostable proteins is expected to enable design of enzymes that can be employed in industrial biocatalytic processes carried out at high temperatures. A major factor that has been proposed to stabilize thermostable proteins is the high occurrence of salt bridges. The current study employs free energy calculations to elucidate the thermodynamics of the formation of salt bridge interactions and the temperature dependence, using acetate and methylguanidium ions as model systems. Three different orientations of the methylguanidinium approaching the carboxylate group have been considered for obtaining the free energy profiles. The association of the two ions becomes more favorable with an increase in temperature. The desolvation penalty corresponding to the association of the ion pair is the lowest at high temperatures. The occurrence of …

Abstract

Predictability of river water temperature is a big argument for many environmental applications, hydrology and ecology research. River water temperature mainly depends on several parameters of water bodies such as streamflow, Dissolved Oxygen (DO), oxidation reduction potential, pollutant temperature, thermal effluent discharges, ground water interactions and its surrounding atmosphere. Commonly, the river water temperature always has been correlated with air temperature as a substitute due to the ease of applicability for rivers with some limitations over detailed meteorological and thermal data. In addition to air temperature the most influencing component of water body is streamflow which is having strong response towards the water temperature. An evaluation of integrated river water temperature and streamflow fluctuations is proposed to evidence biological activity, chemical specimen, oxygen solubility, self-purification capacity of a river system and variation of flows due to hydro-climatic changes. Prediction of river water temperature at various locations over a river basin is vital for the water quality management. The present study aims to estimate the river water temperature (RWT) under air temperature changes and local to regional anthropogenic activities of streamflow over Krishna river basin, India. A standardized multi-linear regression model is developed for predicting river water temperature over various discharge locations of the Krishna river basin. The performance of the model was tested mainly for 8 stations using historical daily data of river temperature, air temperature and river discharges from 1991 to 2005. The attainment of a model is carried out for these stations with air temperature, stream flows are predictors whereas water temperature as predictability component through training, testing. In this study the correlation coefficients between air minimum, maximum and average temperature with river water temperature are determined for selecting the possible air temperature variable to be considered in the analysis. The correlation coefficients are obtained with air minimum temperature (r = 0.541-0.772), air maximum temperature (r= 0.267-0.613) and air average temperature (r = 0.463-0.715) for all stations and it is observed that air minimum has the highest correlation coefficient value and it could be suitable for modeling. The performance of the multi-linear regression model for training and testing was obtained in terms of Root Mean Square Error (RMSE = 0.934 to 4.556), Correlation of determination (R = 0.984 and 0.986).

Abstract

This document describes a web security model to analyse cross origin requests and block them using CORP, a browser security policy proposed for mitigating Cross Origin Request Attacks (CORA) such as CSRF, Clickjacking, Web application timing, etc. CORP is configured by website administrators and sent as an HTTP response header to the browser. A browser which is CORP-enabled will interpret the policy and enforce it on all cross-origin HTTP requests originating from other tabs of the browser, thus preventing malicious crossorigin requests. In this document we use Alloy, a finite state model finder, to formalize a web security model to analyse malicious cross-origin attacks and verify that CORP can be used to mitigate such attacks.

Abstract

On March 27, 2015, Github witnessed a massive DDoS attack, the largest in Github's history till date. In this incident, browsers and users were used as vectors to launch the attack. In this paper, we analyse such browser-based DDoS attacks and simulate them in a lab environment. Existing browser security policies like Same Origin Policy (SOP), Content Security Policy (CSP) do not mitigate these attacks by design. In this paper we observe that CORP (Cross Origin Request Policy), a browser security policy, can be used to mitigate these attacks. CORP enables a server to control cross-origin interactions initiated by a browser. The browser intercepts the cross-origin requests and blocks unwanted requests by the server. This takes the load off the server to mitigate the attack.

Abstract

In this paper we report on a Systematic Literature Review where we explored the notion of semantics in Computer Science (CSE) literature. Our goal was 1) to surface how the idea of semantics has been used and represented, and 2) to surface its publication pattern in CSE. Our automated search in 5 CSE repositories yielded 653 relevant papers, emerging from multiple disciplines and geographies, spanning a period from year 1967 to 2017. We shortlisted 50 representative samples to study. This literature review was motivated by an external Web Accessibility effort in which we wanted to understand how to influence the various meanings that a variety of human end-user could derive by varying the computer rendering of a given content. The results of the SLR indicate that 44% of papers do have their own definition, almost all are formal in their presentation, and 94% of them have a notion of semantics that favors the computer as a processor. We observe the limited human oriented focus on semantics in CSE, and suggest such semantics focus as an area of potential study.

Abstract

Cross origin request attacks (CORA) such as Cross site request forgery (CSRF), cross site timing, etc. continue to pose a threat on the modern day web. Current browser security policies inadequately mitigate these attacks. Additionally, third party authentication services are now the preferred way to carry out identity management between multiple enterprises and web applications. This scenario, called Federated Identity Management (FIM) separates the problem of identity management from the core functionality of an application. In this paper, we construct formally checkable models and design laboratory simulations to show that FIM is susceptible to cross origin attacks. Further, we employ the Cross Origin Request Policy (CORP) to mitigate such attacks.

Abstract

Internet of Things (IoT) is a network of all devices that can be accessed through the Internet. These devices can be remotely accessed and controlled using existing network infrastructure, thus allowing a direct integration of computing systems with the physical world. This also reduces human involvement along with improving accuracy and efficiency, resulting in economic benefit. The devices in IoT facilitate the day-to-day life of people. However, the IoT has an enormous threat to security and privacy due to its heterogeneous and dynamic nature. Authentication is one of the most challenging security requirements in the IoT environment, where a user (external party) can directly access information from the devices, provided the mutual authentication between user and devices happens. In this paper, we present a new signature-based authenticated key establishment scheme for the IoT environment. The proposed scheme is tested for security with the help of the widely used Burrows-Abadi-Needham logic, informal security analysis, and also the formal security verification using the broadly accepted automated validation of Internet security protocols and applications tool. The proposed scheme is also implemented using the widely accepted NS2 simulator, and the simulation results demonstrate the practicability of the scheme. Finally, the proposed scheme provides more functionality features, and its computational and communication costs are also comparable with other existing approaches.

Abstract

In the wearable communication environment, wearable devices are used for various applications including fitbit flex tracks steps, sleep cycles, workout stats, and recording health-related sensitive information. The decreasing costs and increasing performance of Information Communication Technologies (ICTs) have made wearable devices more cost effective. Different types of wearable devices are being used today by citizens to improve their health and lifestyle. However, the data (such as health-related or movement data) generated from the user’s daily activities is often private and therefore, ensuring the security and privacy of this data is important. First, we present some emerging trends of wearable devices followed by a discussion of the main security and functionality requirements along with the threats to the wearable communication environment. We then present a review of some of the recently proposed lightweight authentication protocols for wearable devices based on performance metrics such as computation cost and communication cost. We also compare these authentication protocols in terms of various security features they support. Finally, we discuss some future challenges in the area of security protocols for wearable devices that need to be addressed in the future.