A probabilistic analysis framework for malicious insider threats

Malicious insider threats are difficult to detect and to mitigate. Many approaches for explaining behaviour exist, but there is little work to relate them to formal approaches to insider threat detection. In this work we present a general formal framework to perform analysis for malicious insider threats, based on probabilistic modelling, verification, and synthesis techniques. The framework first identifies insiders' intention to perform an inside attack, using Bayesian networks, and in a second phase computes the probability of success for an inside attack by this actor, using probabilistic model checking

Model based analysis of insider threats

In order to detect malicious insider attacks it is important to model and analyse infrastructures and policies of organisations and the insiders acting within them. We extend formal approaches that allow modelling such scenarios by quantitative aspects to enable a precise analysis of security designs. Our framework enables evaluating the risks of an insider attack to happen quantitatively. The framework first identifies an insider's intention to perform an inside attack, using Bayesian networks, and in a second phase computes the probability of success for an inside attack by this actor, using probabilistic model checking. We provide prototype tool support using Matlab for Bayesian networks and PRISM for the analysis of Markov decision processes, and validate the framework with case studies

Anesthetic management for cesarean delivery in a pregnant woman with polymyositis: A case report and review of literature

Introduction: Polymyositis which is a rare disease both in general population and in pregnancy is systemic connective tissue disorder characterized by inflammation and degeneration of muscles. There is only a little information relating to the anesthetic management of a pregnant woman with polymyositis. Case presentation: In this article, we present anesthetic management of urgent cesarean delivery of a 28-year-old parturient with polymyositis under epidural anesthesia who was diagnosed with polymyositis five years ago and has been treated regularly with different doses prednisolone since then. Conclusion: In a parturient with polymyositis, it should not be suggested general anesthesia due to risks including delayed recovery from muscle relaxation, aspiration pneumonitis, arrhythmias, cardiac failure, we consider that epidural anesthesia for cesarean section can be safely applied. © 2009 Gunusen et al; licensee BioMed Central Ltd

Model based analysis of insider threats

In order to detect malicious insider attacks it is important to model and analyse infrastructures and policies of organisations and the insiders acting within them. We extend formal approaches that allow modelling such scenarios by quantitative aspects to enable a precise analysis of security designs. Our framework enables evaluating the risks of an insider attack to happen quantitatively. The framework first identifies an insider’s intention to perform an inside attack, using Bayesian networks, and in a second phase computes the probability of success for an inside attack by this actor, using probabilistic model checking. We provide prototype tool support using Matlab for Bayesian networks and PRISM for the analysis of Markov decision processes, and validate the framework with case studies

Comparison Of Laser Scanning And Photogrammetry And Their Use For Digital Recording Of Cultural Monument Case Study: Byzantine Land Walls-Istanbul

3D modeling of cultural monuments is very crucial issue for preparing restoration projects. However, it has challenges such as data acquisition, preparation and processing. 3D modeling of objects can be time consuming and may include some difficulties due to the complexity of the structures. 3D terrestrial laser (TLS) scanning technique is one of the reliable and advantageous methods for 3D reconstruction of monuments. This technique is commonly acknowledged due to its accuracy, speed and flexibility. But the suitability and capability of this technique depends on proper usage, and good survey planning. Magnificent developments in highresolution digital sensor technologies leaded to manufacturing of new camera systems. Parallel to these innovations, development of computer systems and image processing techniques made enable to obtain multiple image-based 3D object models. In the presented study, TLS method has been compared to conventional photogrammetric and image-based dense matching methods. Automatic dense point creation has been realized by our developed algorithm and PIXEL-PHOTO software which generates 3D point clouds from stereo images. The reliability and encountered problems during point cloud measurement process have been discussed. The study area has been chosen as historical Byzantine Land Walls of Istanbul, which constitute a remarkable area defining the ancient city’s historical peninsula

Tensile strength of pine needles and their feasibility as reinforcement in composite materials

A feasibility study concerning the use of pine needles from Maritime Pine (Pinus pinaster) trees as reinforcement in composite materials has been presented in this paper with the tensile strength being investigated for a total of 150 specimens at three gauge lengths, namely 50, 75 and 100 mm. In order to calculate the tensile strength for each specimen, a correlation was obtained between the cross-sectional area and external dimensions of the individual pine needles. The mean value of the tensile strength was noted to vary only slightly between 33.4 MPa for the 50 mm gauge length and 31.4 MPa for the 100 mm case with a minimum and maximum of 15 and 65 MPa, respectively. Analysis of the data using the standard Weibull model indicated the Weibull strength to vary between 33.5 and 36.0 MPa whereas the Weibull modulus varied between approximately 3.5 and 4.5. Further analysis using the Weibull model indicated the presence of a bimodal strength distribution at each gauge length that was consistent with the presence of two distinct flaw populations operating within the pine needles. Overall, it was concluded that the strength of the pine needles was sufficient for inclusion in polymer matrix composites subject to low stress or non-load bearing applications such as fibreboard and thermal or acoustic insulation