Security Policy Specification Using a Graphical Approach

A security policy states the acceptable actions of an information system, as the actions bear on security. There is a pressing need for organizations to declare their security policies, even informal statements would be better than the current practice. But, formal policy statements are preferable to support (1) reasoning about policies, e.g., for consistency and completeness, (2) automated enforcement of the policy, e.g., using wrappers around legacy systems or after the fact with an intrusion detection system, and (3) other formal manipulation of policies, e.g., the composition of policies. We present LaSCO, the Language for Security Constraints on Objects, in which a policy consists of two parts: the domain (assumptions about the system) and the requirement (what is allowed assuming the domain is satisfied). Thus policies defined in LaSCO have the appearance of conditional access control statements. LaSCO policies are specified as expressions in logic and as directed graphs, giving a visual view of policy. LaSCO has a simple semantics in first order logic (which we provide), thus permitting policies we write, even for complex policies, to be very perspicuous. LaSCO has syntax to express many of the situations we have found to be useful on policies or, more interesting, the composition of policies. LaSCO has an object-oriented structure, permitting it to be useful to describe policies on the objects and methods of an application written in an object-oriented language, in addition to the traditional policies on operating system objects. A LaSCO specification can be automatically translated into executable code that checks an invocation of a program with respect to a policy. The implementation of LaSCO is in Java, and generates wrappers to check Java programs with respect to a policy.Comment: 28 pages, 22 figures, in color (but color is not essential for viewing); UC Davis CS department technical report (July 22, 1998

A Study of starless dark cloud LDN 1570: Distance, Dust properties and Magnetic field geometry

We wish to map the magnetic field geometry and to study the dust properties of the starless cloud, L1570, using multi-wavelength optical polarimetry and photometry of the stars projected on the cloud. We made R-band imaging polarimetry of the stars projected on a cloud, L1570, to trace the magnetic field orientation. We also made multi-wavelength polarimetric and photometric observations to constrain the properties of dust in L1570. We estimated a distance of 394 +/- 70 pc to the cloud using 2MASS JHKs colours. Using the values of the Serkowski parameters namely $\sigma_{1}$, $\bar \epsilon$, {\lambda}max and the position of the stars on near infrared color-color diagram, we identified 13 stars that could possibly have intrinsic polarization and/or rotation in their polarization angles. One star, 2MASS J06075075+1934177, which is a B4Ve spectral type, show the presence of diffuse interstellar bands in the spectrum apart from showing H{\alpha} line in emission. There is an indication for the presence of slightly bigger dust grains towards L1570 on the basis of the dust grain size-indicators such as {\lambda}max and Rv values. The magnetic field lines are found to be parallel to the cloud structures seen in the 250{\mu}m images (also in 8{\mu}m and 12{\mu}m shadow images) of L1570. Based on the magnetic field geometry, the cloud structure and the complex velocity structure, we believe that L1570 is in the process of formation due to the converging flow material mediated by the magnetic field lines. Structure function analysis showed that in the L1570 cloud region the large scale magnetic fields are stronger when compared with the turbulent component of magnetic fields. The estimated magnetic field strengths suggest that the L1570 cloud region is sub-critical and hence could be strongly supported by the magnetic field lines.Comment: 26 pages, 22 figures, and 7 tables; Accepted for its publication in A&

Post-correlation radio frequency interference classification methods

We describe and compare several post-correlation radio frequency interference classification methods. As data sizes of observations grow with new and improved telescopes, the need for completely automated, robust methods for radio frequency interference mitigation is pressing. We investigated several classification methods and find that, for the data sets we used, the most accurate among them is the SumThreshold method. This is a new method formed from a combination of existing techniques, including a new way of thresholding. This iterative method estimates the astronomical signal by carrying out a surface fit in the time-frequency plane. With a theoretical accuracy of 95% recognition and an approximately 0.1% false probability rate in simple simulated cases, the method is in practice as good as the human eye in finding RFI. In addition it is fast, robust, does not need a data model before it can be executed and works in almost all configurations with its default parameters. The method has been compared using simulated data with several other mitigation techniques, including one based upon the singular value decomposition of the time-frequency matrix, and has shown better results than the rest.Comment: 14 pages, 12 figures (11 in colour). The software that was used in the article can be downloaded from http://www.astro.rug.nl/rfi-software

Multiwavelength Study of NGC 281 Region

We present a multiwavelength study of the NGC 281 complex which contains the young cluster IC 1590 at the center, using deep wide-field optical UBVI_c photometry, slitless spectroscopy along with archival data sets in the near-infrared (NIR) and X-ray. The extent of IC 1590 is estimated to be ~6.5 pc. The cluster region shows a relatively small amount of differential reddening. The majority of the identified young stellar objects (YSOs) are low mass PMS stars having age <1-2 Myr and mass 0.5-3.5 M_\odot. The slope (\Gamma) of the mass function for IC 1590, in the mass range 2 < M/M_\odot \le 54, is found to be -1.11+-0.15. The slope of the K-band luminosity function (0.37+-0.07) is similar to the average value (~0.4) reported for young clusters. The distribution of gas and dust obtained from the IRAS, CO and radio maps indicates clumpy structures around the central cluster. The radial distribution of the young stellar objects, their ages, \Delta(H-K) NIR-excess, and the fraction of classical T Tauri stars suggest triggered star formation at the periphery of the cluster region. However, deeper optical, NIR and MIR observations are needed to have a conclusive view of star formation scenario in the region. The properties of the Class 0/I and Class II sources detected by using the Spitzer mid-infrared observations indicate that a majority of the Class II sources are X-ray emitting stars, whereas X-ray emission is absent from the Class 0/I sources. The spatial distribution of Class 0/I and Class II sources reveals the presence of three sub-clusters in the NGC 281 West region.Comment: 29 pages, 21 figures and 11 tables, Accepted for the publication in PAS