CONVERSION OF DOMAIN TYPE ENFORCEMENT LANGUAGE TO THE JAVA SECURITY MANAGER

With today's prevalence of Internet-connected systems storing sensitive data and the omnipresent threat of technically skilled malicious users, computer security remains a critically important field. Because of today's multitude of vulnerable systems and security threats, it is vital that computer science students be taught techniques for programming secure systems, especially since many of them will work on systems with sensitive data after graduation. Teaching computer science students proper design, implementation, and maintenance of secure systems is a challenging task that calls for the use of novel pedagogical tools. This report describes the implementation of a compiler that converts mandatory access control specification Domain-Type Enforcement Language to the Java Security Manager, primarily for pedagogical purposes. The implementation of the Java Security Manager was explored in depth, and various techniques to work around its inherent limitations were explored and partially implemented, although some of these workarounds do not appear in the current version of the compiler because they would have compromised cross-platform compatibility. The current version of the compiler and implementation details of the Java Security Manager are discussed in depth.

Driving the refactoring of Java Enterprise applications by evaluating the distance between application elements

Java Enterprise Applications (JEAs) are complex systems composed using various technologies that in turn rely on languages other than Java, such as XML or SQL. Given the complexity of these applications, the need to reverse engineer them in order to support further development becomes critical. In this paper we show how it is possible to split a system into layers and how is possible to interpret the distance between application elements in order to support the refactoring of JEAs. The purpose of this paper is to explore ways to provide suggestions about the refactoring operations to perform on the code by evaluating the distance between layers and elements belonging those layers. We split JEAs into layers by considering the kinds and the purposes of the elements composing the application. We measure distance between elements by using the notion of the shortest path in a graph. Also we present how to enrich the interpretation of the distance value with enterprise pattern detection in order to refine the suggestion about modifications to perform on the code.

Towards End-User Driven Power Saving Control in Android devices

Abstract. During the last decade mobile communications increasingly became part of people's daily routine. Such usage raises new challenges regarding devices' battery lifetime management when using most popular wireless access technologies, such as IEEE 802.11. This paper investigates the energy/delay trade-off of using an end-user driven power saving approach, when compared with the standard IEEE 802.11 power saving algorithms. The assessment was conducted in a real testbed using an Android mobile phone and high-precision energy measurement hardware. The results show clear energy benefits of employing user-driven power saving techniques, when compared with other standard approaches.

A Passive WiFi Source Localization System based on Fine-grained Power-based Trilateration

Indoor localization systems become more interesting for researchers because of the attractiveness of business cases in various application fields. A WiFi-based passive localization system can provide user location information to third-party providers of positioning services. However, indoor localization techniques are prone to multipath and Non-Line Of Sight (NLOS) propagation, which lead to significant performance degradation. To overcome these problems, we provide a passive localization system for WiFi targets with several improved algorithms for localization. Through Software Defined Radio (SDR) techniques, we extract Channel Impulse Response (CIR) information at the physical layer. CIR is later adopted to mitigate the multipath fading problem. We propose to use a Nonlinear Regression (NLR) method to relate the filtered power information to propagation distances, which significantly improves the ranging accuracy compared to the commonly used log-distance path loss model. To mitigate the influence of ranging errors, a new trilateration algorithm is designed as well by combining Weighted Centroid and Constrained Weighted Least Square (WC-CWLS) algorithms. Experiment results show that our algorithm is robust against ranging errors and outperforms the linear least square algorithm and weighted centroid algorithm.

Etwas über die Rosenkultur auf der Insel Java

W. Reuschenbach

Passively Track WiFi Users with an Enhanced Particle Filter using Power-based Ranging

Passive positioning systems produce user location information for third-party providers of positioning services. Since the tracked wireless devices do not participate in the positioning process, passive positioning can only rely on simple, measurable radio signal parameters, such as timing or power information. In this work, we provide a passive tracking system for WiFi signals with an enhanced particle filter using fine-grained power-based ranging. Our proposed particle filter provides an improved likelihood function on observation parameters and is equipped with a modified coordinated turn model to address the challenges in a passive positioning system. The anchor nodes for WiFi signal sniffing and target positioning use software defined radio techniques to extract channel state information to mitigate multipath effects. By combining the enhanced particle filter and a set of enhanced ranging methods, our system can track mobile targets with an accuracy of 1.5m for 50% and 2.3m for 90% in a complex indoor environment. Our proposed particle filter significantly outperforms the typical bootstrap particle filter, extended Kalman filter and trilateration algorithms.

Zur Ethnologie von West-Java : Mitteilungen aus Missionar S. Coolsmas "West Java"

von Dr. R. Teuscher

Accumulation rates of bulk sediment and total organic carbon for Ontong Java Plateau sediments

Organic geochemical investigations were performed on sediments of Leg 130 to reconstruct the depositional environment of the Ontong Java Plateau. The Miocene to Quaternary sediments collected during the drilling campaign are characterized by extremely low organic carbon contents. As indicated by C/N ratios and Rock-Eval data, most of the organic matter is probably of marine origin. Based on mass-accumulation rates of organic carbon, the paleoproductivity for the Miocene-Pliocene and the late Pliocene-Pleistocene time intervals as well as the modern surface-water production were estimated. The productivity values of the surface sediments (25-59 gC/m2/yr) reflect the various influences of the equatorial upwelling cell on the different sites. The accumulation rates of organic carbon are generally low; however, they show a distinct increase at 8 Ma and a decrease at 2 Ma.

Quaternary oxygen isotope record of planktonic foraminifera from ODP Site 805 on the Ontong Java Plateau

The oxygen isotope records of G. sacculifer and Pulleniatina in the uppermost three cores at Ocean Drilling Program Hole 805C span the last 1.6 m.y., an estimate based on Fourier stratigraphy. The last 700,000 yr are dominated by both eccentricity and obliquity-related orbital fluctuations. The range of variation of delta18O values is about 1.5?, of which ca. 75% may be assigned to global ice-volume effect. The remainder of the range is shared by the effects of surface temperature variation, thermocline depth change (in the case of Pulleniatina, especially), and differential dissolution. Before 1 Ma, obliquity-related fluctuations dominate. The transition between obliquity- and eccentricity-dominated time occurs between ca. 1 and 0.7 Ma. It is marked by irregularities in phase relationships, the source of which is not clear. The age of the Brunhes/Matuyama boundary is determined as 794,000 yr by obliquity counting. However, an age of 830,000 yr also is compatible with the counts of both eccentricity and obliquity cycles. In the first case, Stage 19 (which contains the boundary) is coincident with the crest of the 19th obliquity cycle, setting the first crest downcore equal to zero, and counting backward (o19). In the second, Stage 19 coincides with o20. No evidence was found for fluctuations related to precession (23 and 19 k.y.) rising above the noise level, using plain Fourier expansion on the age model of the entire series. Detailed stratigraphic comparison with the Quaternary record of Hole 806B allows the recognition of major dissolution events (which increase the difference in delta18O values of G. sacculifer at the two sites). These occur at Stages 11-13, 16-17, and near 1.5 Ma (below o33).