Recent advances in hardware design have demonstrated mechanisms allowing a wide range of low-level security policies (or micro-policies) to be expressed using rules on metadata tags. We propose a methodology for defining and reasoning about such tag-based reference monitors in terms of a high-level “symbolic machine,” and we use this methodology to define and formally verify micro-policies for ...

a brief background to the development of the rock engineering design process is given, showing that since the development of the science of mathematics, deterministic methods have been used to perform various calculations. the variability of rock properties and support characteristics have always been known. however, they were not explicitly used in design but compensated for by the use of a sa...

Background: Today, occupational safety play the vital role to reduce the number of accidents. In other words, it is necessary to pay attention to improving the safety performance of employees in organizations. Indeed, safety performance is part of safety activities, describing the behavioral aspect of employees and being influenced by various factors. The purpose of this research is to provide ...

This paper presents the Navigation Maps Modeling approach (NMM), which provides platform independent models for characterizing navigation maps of web applications. The NMM approach is conceived to obtain a trade off between high and low-level design notations. As high-level design notations, NMM models permit architectural details that may hinder the overall understanding of the web application...

In this paper, we analyze system-level design methodologies for platform-based design. Platform-based design is popular as a way to reduce development time, but creating the platform is difficult. We introduce the first generation dilemma problem --initial designs are much harder because we do many of the components that will be used to build the system. We explain the origin of this problem an...

OBJECTIVES Several studies have reported the relationship between residents' perceived neighbourhood safety and their health outcomes. However, those studies suffered from unreliability of neighbourhood safety measure and potential residual confounding related to crime rates. In this study, using multilevel analysis to account for the hierarchical structure of the data, we examined associations...

a brief background to the development of the rock engineering design process is given, showing that since the development of the science of mathematics, deterministic methods have been used to perform various calculations. the variability of rock properties and support characteristics have always been known. however, they were not explicitly used in design but compensated for by the use of a sa...