信息系统安全风险评估研究综述疆

风险评估是信息系统安全保证的关键技术。笔者对国内外现有的信息安全风险评估方法与技术进行归纳和系统的评述。回顾了信息安全风险评估的理论框架与现有的评估标准;在此基础上,比较了包含FTA,FMECA,HAZOP等在内的传统风险评估技术和以CORAS为代表的现代风险评估技术;肯定了现代风险评估技术在利用统一建模语言进行半形式化表述方面的先进性以及根据信息系统生命周期的各个阶段特点选用适宜的风险评估方法的灵活性;同时指出该现代风险评估技术在动态识别、评估安全风险方面的不足;提出了一种改进和完善现代风险评估技术的方法,即利用Markov链形式化描述并分析信息系统,确保了分布式信息系统风险评估的需要。此外,针对信息安全风险的不确定性,提出了通过模糊集理论丰富现代风险评估方法的研究方向。     

动态安全评价方法在建筑领域的应用设想

建筑施工现场是较易发生伤亡事故的地方，全面推行安全评价工作势在必行。在安全评价中引进动态安全评价方法如动态故障树分析方法更符合建筑施工的实际。     

Hierarchical Bayesian space-time models

Space-time data are ubiquitous in the environmental sciences. Often, as is the case with atmo- spheric and oceanographic processes, these data contain many different scales of spatial and temporal variability. Such data are often non-stationary in space and time and may involve many observation/prediction locations. These factors can limit the effectiveness of traditional space- time statistical models and methods. In this article, we propose the use of hierarchical space-time models to achieve more flexible models and methods for the analysis of environmental data distributed in space and time. The first stage of the hierarchical model specifies a measurement- error process for the observational data in terms of some 'state' process. The second stage allows for site-specific time series models for this state variable. This stage includes large-scale (e.g. seasonal) variability plus a space-time dynamic process for the anomalies'. Much of our interest is with this anomaly proc ess. In the third stage, the parameters of these time series models, which are distributed in space, are themselves given a joint distribution with spatial dependence (Markov random fields). The Bayesian formulation is completed in the last two stages by speci- fying priors on parameters. We implement the model in a Markov chain Monte Carlo framework and apply it to an atmospheric data set of monthly maximum temperature.     

Ranked set sampling: an annotated bibliography

The paper provides an up-to-date annotated bibliography of the literature on ranked set sampling. The bibliography includes all pertinent papers known to the authors, and is intended to cover applications as well as theoretical developments. The annotations are arranged in chronological order and are intended to be sufficiently complete and detailed that a reading from beginning to end would provide a statistically mature reader with a state-of-the-art survey of ranked set sampling, including historical development, current status, and future research directions and applications. A final section of the paper gives a listing of all annotated papers, arranged in alphabetical order by author.This paper was prepared with partial support from the United States Environmental Protection Agency under a Cooperative Agreement Number CR-821531. The contents have not been subject to Agency review and therefore do not necessarily reflect the views or policies of the Agency and no official endorsement should be inferred.     

Bayes methods for combining disease and exposure data in assessing environmental justice

Environmental justice reflects the equitable distribution of the burden of environmental hazards across various sociodemographic groups. The issue is important in environmental regulation, siting of hazardous waste repositories and prioritizing remediation of existing sources of exposure. We propose a statistical framework for assessing environmental justice. The framework includes a quantitative assessment of environmental equity based on the cumulative distribution of exposure within population subgroups linked to disease incidence through a dose-response function. This approach avoids arbitrary binary classifications of individuals solely as 'exposed' or 'unexposed'. We present a Bayesian inferential approach, implemented using Markov chain Monte Carlo methods, that accounts for uncertainty in both exposure and response. We illustrate our method using data on leukaemia deaths and exposure to toxic chemical releases in Allegheny County, Pennsylvania.     

Hierarchical modeling of count data with application to nuclear fall-out

We propose a method for a Bayesian hierarchical analysis of count data that are observed at irregular locations in a bounded domain of R². We model the data as having been observed on a fine regular lattice, where we do not have observations at all the sites. The counts are assumed to be independent Poisson random variables whose means are given by a log Gaussian process. In this article, the Gaussian process is assumed to be either a Markov random field (MRF) or a geostatistical model, and we compare the two models on an environmental data set. To make the comparison, we calibrate priors for the parameters in the geostatistical model to priors for the parameters in the MRF. The calibration is obtained empirically. The main goal is to predict the hidden Poisson-mean process at all sites on the lattice, given the spatially irregular count data; to do this we use an efficient MCMC. The spatial Bayesian methods are illustrated on radioactivity counts analyzed by Diggle et al. (1998).     

Markov Chain Monte Carlo on optimal adaptive sampling selections

Under a Bayesian population model with a given prior distribution, the optimal sampling strategy with a fixed sample size n is an n-phase adaptive one. That is, the selection of the next sampling units should sequentially depend on the information obtained from the previously selected units, including the observed values of interest. Such an optimal strategy is in general not executable in practice due to its intensive computation. In many survey sampling situations, an important problem is that one would like to select a set of units in addition to a certain number of sampling units which have been observed. If the optimal strategy is an adaptive one, the selection of the additional units should take both the labels and the observed values of the already selected units into account. Hence, a simpler optimal two-phase adaptive sampling strategy under a Bayesian population model is proposed in this article for practical interest. A Markov chain Monte Carlo method is used to approximate the posterior joint distribution of the unobserved population units after the first phase sampling, for the optimal selection of the second phase sample. This approximation method is found to be successful to select the optimal second-phase sample. Finally, this optimal strategy is applied to a set of data from a study of geothermal CO₂ emissions in Yellowstone National Park as a practical illustrative example.     

Modelling the distribution of plant species using the autologistic regression model

For modeling the distribution of plant species in terms of climate covariates, we consider an autologistic regression model for spatial binary data on a regularly spaced lattice. This model belongs to the class of autologistic models introduced by Besag (1974). Three estimation methods, the coding method, maximum pseudolikelihood method and Markov chain Monte Carlo method are studied and comparedvia simulation and real data examples. As examples, we use the proposed methodology to model the distributions of two plant species in the state of Florida.     

用马尔可夫模型分析基于通信的列车控制系统(CBTC)的安全性

基于通信的列车控制系统 (CBTC)极有可能成为未来铁路的发展方向 ,只是目前人们对它的安全性还抱有疑虑。笔者给出一种利用马尔可夫模型分析 CBTC安全性的方法。利用系统分解和模型压缩的方法解决状态空间的激增问题。将 CBTC设备分为故障—降级型和故障—安全型两类 ,分别建立子模型 ,分析人员因素及设备故障覆盖率对系统安全性的影响。根据子模型间的独立性 ,将各子模型的事故率相加获得系统的事故率     

Performance of a Bayesian state-space model of semelparous species for stock-recruitment data subject to measurement error

Measurement errors in spawner abundance create problems for fish stock assessment scientists. To deal with measurement error, we develop a Bayesian state-space model for stock-recruitment data that contain measurement error in spawner abundance, process error in recruitment, and time series bias. Through extensive simulations across numerous scenarios, we compare the statistical performance of the Bayesian state-space model with that of standard regression for a traditional stock-recruitment model that only considers process error. Performance varies depending on the information content in data, as determined by stock productivity, types of harvest situations, and amount of measurement error. Overall, in terms of estimating optimal spawner abundance S_MSY, the Ricker density-dependence parameter β, and optimal harvest rate h_MSY, the Bayesian state-space model works best for informative data from low and variable harvest rate situations for high-productivity salmon stocks. The traditional stock-recruitment model (TSR) may be used for estimating α and h_MSY for low-productivity stocks from variable and high harvest rate situations. However, TSR can severely overestimate S_MSY when spawner abundance is measured with large error in low and variable harvest rate situations. We also found that there is substantial merit in using h_MSY (or benchmarks derived from it) instead of S_MSY as a management target.