A pH-regulated camouflage strategy for access control in molecular systems.

SCELib3.0: The new revision of SCELib, the parallel computational library of molecular properties in the Single Center Approach

Analysis of a two dimensional molecular Berry phase system

The increased complexity of modern access control (AC) systems stems partly from the need to support diverse and multiple administrative domains. Systems engineering is a key technology to manage this complexity since it is capable of assuring that an operational system will adhere to the initial conceptual design and defined requirements. Specifically, the verification stage of an AC system should be based on techniques that have a sound and mathematical underpinning. Working on this assumption, model checking techniques are applied for the verification of predefined system properties, and thus, conducting a security analysis of a system. In this paper, we propose the utilization of automated and error-free model checking techniques for the verification of security properties in multi-domain AC systems. Therefore, we propose a formal definition in temporal logic of four AC system properties regarding secure inter-operation with Role-Based Access Control (RBAC) policies in order to be verified by using model checking. For this purpose, we demonstrate the implementation of a tool chain for expressing RBAC security policies, reasoning on role hierarchies and properly feeding the model checking process. The proposed approach can be applied in any RBAC model to efficiently detect non-conformance between an AC system and its security specifications. As a proof of concept, we provide examples illustrating the verification of the defined secure inter-operation properties in multi-domain RBAC policies.

Towards more pro-active access control in computer systems and networks

Most human diseases are complex multi-factorial diseases resulting from the combination of various genetic and environmental factors. In the KEGG database resource (http://www.genome.jp/kegg/), diseases are viewed as perturbed states of the molecular system, and drugs as perturbants to the molecular system. Disease information is computerized in two forms: pathway maps and gene/molecule lists. The KEGG PATHWAY database contains pathway maps for the molecular systems in both normal and perturbed states. In the KEGG DISEASE database, each disease is represented by a list of known disease genes, any known environmental factors at the molecular level, diagnostic markers and therapeutic drugs, which may reflect the underlying molecular system. The KEGG DRUG database contains chemical structures and/or chemical components of all drugs in Japan, including crude drugs and TCM (Traditional Chinese Medicine) formulas, and drugs in the USA and Europe. This database also captures knowledge about two types of molecular networks: the interaction network with target molecules, metabolizing enzymes, other drugs, etc. and the chemical structure transformation network in the history of drug development. The new disease/drug information resource named KEGG MEDICUS can be used as a reference knowledge base for computational analysis of molecular networks, especially, by integrating large-scale experimental datasets.

Typical experimental setups for molecular systems must deal with a certain coupling to the external environment, that is, the system is open and exchanges mass, momentum, and energy with its surroundings. Instead, standard molecular simulations are mostly performed using periodic boundary conditions with a constant number of molecules. In this review, we summarize major development of simulation methodologies, which, contrary to standard techniques, open up the boundaries of a molecular system and allow for exchange of energy and matter with the environment, in and out of equilibrium. In particular, we construct the review around the open boundary simulation approaches based on the Adaptive Resolution Scheme (AdResS), which seamlessly couples different levels of resolution in molecular simulations. Ideas and theoretical concepts used in its development lie at the crossroad of different fields and disciplines and open many different directions for future developments in molecular simulation. We examine progress related to theoretical as well as novel modeling approaches bridging length scales from quantum to the continuum description and report on their application in various molecular systems. The outlook of the review is dedicated to the perspective of how to further incorporate rigorous theoretical approaches such as the Bergmann–Lebowitz and Emch–Sewell models into the molecular simulation algorithms and stimulate further development of open boundary simulation methods and their application.

During recent decades it has become feasible to simulate the dynamics of molecular systems on a computer. The method of molecular dynamics (MD) solves Newton's equations of motion for a molecular system, which results in trajectories for all atoms in the system. From these atomic trajectories a variety of properties can be calculated. The aim of computer simulations of molecular systems is to compute macroscopic behavior from microscopic interactions. The main contributions a microscopic consideration can offer are (1) the understanding and (2) interpretation of experimental results, (3) semiquantitative estimates of experimental results, and (4) the capability to interpolate or extrapolate experimental data into regions that are only difficultly accessible in the laboratory. One of the two basic problems in the field of molecular modeling and simulation is how to efficiently search the vast configuration space which is spanned by all possible molecular conformations for the global low (free) energy regions which will be populated by a molecular system in thermal equilibrium. The other basic problem is the derivation of a sufficiently accurate interaction energy function or force field for the molecular system of interest. An important part of the art of computer simulation is to choose the unavoidable assumptions, approximations and simplifications of the molecular model and computational procedure such that their contributions to the overall inaccuracy are of comparable size, without affecting significantly the property of interest. Methodology and some practical applications of computer simulation in the field of (bio)chemistry will be reviewed.

A new mechanism for realizing negative permeability with a three-level ladder-type atomic (or molecular) system at microwave frequency is suggested. The explicit expressions for the magnetic permeability of both steady and transient cases are presented. Compared with the previous schemes to realize negative permeability within the framework of classical electromagnetic theory, the most remarkable feature in the present mechanism is that it can realize the isotropic material with negative permeability. Such a permeability can be controllably manipulated by external coupling fields and could lead to potential applications in quantum optical devices.

This paper presents an O(N) algorithm and its preliminary computer simulation results for virtual prototyping of molecular systems with a simple chain structure. The algorithm is based on proper integration between an internal coordinate method (ICM) and a multibody molecular model. ICM method makes the use of recursive relations possible between two adjacent subsets within a molecular system. The multibody molecular model takes the benefits of freezing degrees of freedom of some lightly excited high frequency bonds. Because these high frequency bonds would force the use of very small integration step sizes, which severely limits the time scales for virtual prototyping of dynamics of molecular conformation over long periods of time. Thus a new multiscale model and efficient algorithm is produced to increase computational efficiency for virtual prototyping of dynamical behaviors of molecular confirmation. This paper will be initially directed towards introduction of the new model and algorithm. Then attention will be turned to the implementation of the algorithm at macro scale, which can be used to demonstrate the validity of the procedure and algorithm. Final focus will be turned to the implementation of the algorithm to a simple molecular chain at micro scale. The algorithm gives an O(N) computational performance for formation/solution of equations of motion for a molecular chain system.

The article shows the relevance of the widespread use of computer vision technology on the example of face recognition as part of the access control and management system. The main methods that are used in the implementation of classical control systems and access control are considered. The scheme for the implementation of the access control with face recognition technology is described. The use of this technology makes it possible to increase the level of information security of enterprises and, as a result, reduce the possible financial damage from the implementation of attacks on their assets from illegitimate penetration into the protected area through the access control system using the passes of legal users.

Chapter 2 - Access Controls

Nowadays, Security Information and Event Management (SIEM) is very important in software. SIEM stores and monitors events in software and unauthorized access to logs can prompt different security threats such as information leakage and violation of confidentiality. In this paper, a novel method is suggested for secured and integrated access control in the SIEM. First, the key points where the SIEM accesses the information within the software is specified and integrated policies for access control are developed in them. Accordingly, the threats entered into the access control module embedded in this system are carefully detected. By applying the proposed method, it is possible to provide the secured and integrated access control module for SIEM as well as the security of the access control module significantly increases in these systems. The method is implemented in the three stages of the requirements analysis for the establishment of a secure SIEM system, secure architectural design, and secure coding. The access control module is designed to create a secured SIEM and the test tool module is designed for evaluating the access control module vulnerabilities. Also, to evaluate the proposed method, the dataset is considered with ten thousand records, and the accuracy is calculated. The outcomes show the accuracy of the proposed method is significantly improved. The results of this paper can be used for designing an integrated and secured access control system in SIEM systems.

In traditional framework, mandatory access control (MAC) system and malicious software are run in kernel mode. Malicious software can stop MAC systems to be started and make it do invalid. This problem cannot be solved under the traditional framework if the operating system (OS) is comprised since malwares are running in ring0 level. In this paper, we propose a novel way to use hypervisors to protect kernel integrity and the access control system in commodity operating systems. We separate the access control system into three parts: policy management (PM), security server (SS) and policy enforcement (PE). Policy management and the security server reside in the security domain to protect them against malware and the isolation feather of the hypervisor can protect them from attacks. We add an access vector cache (AVC) between SS and PE in the guest OS, in order to speed up communication between the guest OS and the security domain. The policy enforcement module is retained in the guest OS for performance. The security of AVC and PE can be ensured by using a memory protection mechanism. The goal of protecting the OS kernel is to ensure the security of the execution path. We implement the system by a modified Xen hypervisor. The result shows that we can secure the security of the access control system in the guest OS with no overhead compared with modules in the latter. Our system offers a centralized security policy for virtual domains in virtual machine environments.

Information Security Management System (ISMS) implementation in Institution is an effort to minimize information security risks and threats such as information leakage, application damage, data loss and declining IT network performance. The several incidents related to information security have occurred in the implementation of the Academic System application in Indonesian higher education. This research was conducted to determine the maturity level of information security practices in Academic Information Systems at universities in Indonesia. The number of universities used as research samples were 35 institutions. Compliance with the application of ISO 27001:2013 standard is used as a reference to determine the maturity level of information system security practices. Meanwhile, to measure and calculate the level of maturity using the SSE-CMM model. In this research, the Information System Security Index obtained from the analysis results can be used as a tool to measure the maturity of information security that has been applied. There are six key areas examined in this study, namely the role and importance of ICT, information security governance, information security risk management, information security management framework, information asset management, and information security technology. The results showed the level of information security maturity at 35 universities was at level 2 Managed Process and level 3 Established Process. The composition is that 40% of universities are at level 3, and 60% are out of level 3. The value of the gap between the value of the current maturity level and the expected level of maturity is varied for each clause (domain). The smallest gap (1 level) is in clause A5: Information Security Policy, clause A9: Access Control, and clause A11: Physical and environmental security. The biggest gap (4 levels) is in clause A14: System acquisition, development and maintenance and clause A18: compliance.  Â

Access control is an important security parameter in industrial networks; a mismanaged access control system leads to security breaches. The existing security solutions significantly consider the access control methods in the Industrial Internet of Things (IIoT); however, falsified identity can bypass the secure access control system. Thus, a centralized access control method leads to risks for data security. We are the first to address the risk factors of granted access in an industrial environment and present a risk-adaptive access control framework for IIoTs. Our proposed solution framework uses blockchain to provide secure decentralized access control in the industrial environment with privacy-preserved multi-party data sharing. We name our framework “Adaptive Access controL for Multi-party data cOmputation in iNdustrial Decentralization (AALMOND)”. AALMOND uses lightweight cryptographic operations to reduce the complexity of the execution and loosen up the tight bounds on resource-constrained industrial devices. Further, the risk-adaptive access control in AALMOND provides a better security analysis of the multi-party sharing data. Our framework uses role-based, attribute-based, and organization-based access controls to map the assets for risk calculation. We put all the required policies in a smart contract for the ease of multi-party data sharing to obtain a transparent access control execution more suitably. We also pioneer in the calculation of the risk adaptivity of AALMOND considering the NIST recommendations of operation risk, security risk, and heuristic risk. We measure the performance of AALMOND with state-of-the-art frameworks based on throughput, latency, complexity analysis, and risk adaptivity factors. We find that AALMOND is efficient for IIoTs as it shows 24% reduced latency and 20% better throughput as compared to the other existing models.