We study a variant of the no read-up/no write-down security property of Bell and LaPadula for processes in the-calculus. Once processes are given levels of security clearance, we statically check that a process at a high level never sends names to processes at a lower level. The static check is based on a Control Flow Analysis for the-calculus that establishes a super-set of the set of names to...

purpose– analysis of non-prismatic beams has been focused of attention due to wide use in complex structures such as aircraft, turbine blades and space vehicles. apart from aesthetic aspect, optimization of strength and weight is achieved in use of this type of structures. the purpose of this paper is to present new shape functions, namely 3-node basic displacement functions (bdfs) for derivati...

Quasi-Static analysis of moored vessels is vastly used for engineering designs, as a substitute to the numerical simulation of dynamic mooring analysis. Yet, the level of validity of the results of quasi-static analysis is a matter of discussion. In the present study, the validation of the assumptions behind the quasi-static analysis of mooring vessels is examined with application of a dynamic ...

this article is concerned with the static analysis of structural cables used in railway overheads. structural analysis computer program named ansys is used for analysis. two effects are considered in the analysis. first one is the bending behavior effect of cables. beam188 in addition to link10 and link180 is used to see the difference in case of additional bending effect. besides, link10 and l...

The now ubiquitous Android platform lacks security features that are considered to be necessary given how easily an application can be uploaded on markets by third-party developers and distributed to a large set of devices. Fortunately, static analysis can help developers, markets and users improve the quality and security of applications at a reasonable cost by being automated. While most exis...

nonlinear static procedure (nsp) is a common technique to predict seismic demands on various building structures by subjecting a monotonically increasing horizontal loading (pushover) to the structure. therefore, the pushover analysis is an important part of each nsp. accordingly, the current paper aims at investigating the efficiencyof various algorithms of lateral load patterns applied to the...

we present a detailed analysis of the static tuning characteristics of three section tunable distributed bragg reflector (dbr) laser. the analysis is based on the transfer matrix method (tmm), transmission line and scattering theory. the key feature of the analysis is the use of modified oscillation condition. with the exact oscillation condition, the static tuning characteristics such as thres...

0

response modification factor (r factor) is one of the seismic design parameters to be considered in evaluating the performance of buildings during strong motions. this paper has tried to evaluate the response modification factor of concrete coupled shear wall structures with various length/depth ratios of spandrel beams. the effect of diagonal reinforcement of spandrel beam was also evaluated o...

F or several decades, the selection of a proper tax base has been among the most serious concerns for the economic policy makers. The computable general equilibrium models analysis provides a comprehensive framework for the investigation of the effects of the adopted policies on the economy of a country. In the present study, using a static computable general equilibrium, the effects of tax ref...