Security policy refinement using data integration: a position paper.

In spite of the wide adoption of policy-based approaches for security management, and many existing treatments of policy verification and analysis, relatively little attention has been paid to policy refinement: the problem of deriving lower-level, runnable policies from higher-level policies, policy goals, and specifications. In this paper we present our initial ideas on this task, using and adapting concepts from data integration. We take a view of policies as governing the performance of an action on a target by a subject, possibly with certain conditions. Transformation rules are applied to these components of a policy in a structured way, in order to translate the policy into more refined terms; the transformation rules we use are similar to those of global-as-view database schema mappings, or to extensions thereof. We illustrate our ideas with an example. Copyright 2009 ACM

Human Immunodeficiency Virus in Intravenous Drug Users: Epidemiology, Issues, and Controversies

Intravenous drug users are the second most common risk group for acquired immunodeficiency syndrome (AIDS) in the United States, and they account for approximately 25 percent of the cases. Drug users may spread human immunodeficiency virus (HIV) by sharing contaminated drug injection paraphernalia and through sexual contact; women who use drugs can transmit the virus to their children. The rapid spread of HIV in this risk group and the fact that intravenous drug users are a source for heterosexual and perinatal transmission underscore the need for immediate intervention. In addition, many drug addicts are poor, have limited career possibilities, and lack health insurance, which leaves the cost of hospitalization and treatment to the public sector. In the absence of a vaccine or an effective chemotherapy, efforts to prevent the spread of HIV must be focused on education, behavior modification, and drug treatment. Drug treatment programs with a strong emphasis on HIV education should be available to all drug users. Community outreach programs will be difficult and expensive to initiate, because drug addicts have no formal organization or community AIDS prevention groups. To prevent the spread of HIV, federal, state, and local resources will have to be employed in conjunction with a community infrastructure dedicated to stopping drugs, providing effective drug treatment, and educating active drug users on methods of AIDS prevention. Intervention strategies for controlling the spread of HIV among active intravenous drug users should include teaching them safer sex practices and encouraging them to seek drug treatment and stop needle sharing. In addition, such strategies should be accompanied by information about needle disinfection and access to sterile needles

A New Class of Non-Linear Stability Preserving Operators

We extend Br\"and\'en's recent proof of a conjecture of Stanley and describe a new class of non-linear operators that preserve weak Hurwitz stability and the Laguerre-P\'olya class.Comment: Fixed typos, spelling, and updated links in reference

Correspondence from Craven E. Williams to Mr. Marshall Crossman, about the sale of the college farm.

This letter is in response to the offer made by Marshall Crossman for the farm, where Craven E. Williams tells him that his offer will be considered.https://digitalcommons.gardner-webb.edu/gardner-webb-buildings-and-grounds-holland-house-miracle-farm/1015/thumbnail.jp

Correspondence from Craven E. Williams to Mr. Tom Camp

Correspondence from Craven E. Williams to Mr. Tom Camp refusing his services with the farm.https://digitalcommons.gardner-webb.edu/gardner-webb-buildings-and-grounds-holland-house-miracle-farm/1016/thumbnail.jp

Correspondence from Craven E. Williams to Mr. Tom Camp

Correspondence from Craven E. Williams to Mr. Tom Camp refusing his services with the farm.https://digitalcommons.gardner-webb.edu/gardner-webb-buildings-and-grounds-holland-house-miracle-farm/1016/thumbnail.jp

Correspondence to Mr. Barry Hartis, from Craven E. Williams about tree farm

This letter from Craven E. Williams is advising Mr. Barry Hartis on who they need to contact to begin marking and removing trees.https://digitalcommons.gardner-webb.edu/gardner-webb-buildings-and-grounds-holland-house-miracle-farm/1013/thumbnail.jp

Correspondence from Craven E. Williams to Mr. Tom J. Camp with a copy going to Mr. Barry Hartis, about the potiental sale of the miricle farm.

This letter from Craven E. Williams is in response to Tom J. Camp\u27s intrest in the property, and a reminder that it is not yet for sale.https://digitalcommons.gardner-webb.edu/gardner-webb-buildings-and-grounds-holland-house-miracle-farm/1014/thumbnail.jp

Multi-filter spectrophotometry of quasar environments

A many-filter photometric technique for determining redshifts and morphological types, by fitting spectral templates to spectral energy distributions, has good potential for application in surveys. Despite success in studies performed on simulated data, the results have not been fully reliable when applied to real, low signal-to-noise data. We are investigating techniques to improve the fitting process

A preliminary quarantine analysis of a possible Mariner Venus 1972 mission

Spacecraft contamination preliminary quarantine analysis for possible 1972 Mariner Venus prob