Naval Postgraduate School

About: Naval Postgraduate School is a education organization based out in Monterey, California, United States. It is known for research contribution in the topics: Tropical cyclone & Boundary layer. The organization has 5246 authors who have published 11614 publications receiving 298300 citations. The organization is also known as: NPS & U.S. Naval Postgraduate School.

Secure information flow in a multi-threaded imperative language

Abstract: Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either high or low security; intuitively, we wish to prevent information from flowing from high variables to low variables. Here, we extend the analysis to deal with a multithreaded language. We show that the previous type system is insufficient to ensure a desirable security property called noninterference. Noninterference basically means that the final values of low variables are independent of the initial values of high variables. By modifying the sequential type system, we are able to guarantee noninterference for concurrent programs. Crucial to this result, however, is the use of purely nondeterministic thread scheduling. Since implementing such scheduling is problematic, we also show how a more restrictive type system can guarantee noninterference, given a more deterministic (and easily implementable) scheduling policy, such as round-robin time slicing. Finally, we consider the consequences of adding a clock to the language.

Decision, Estimation and Classification: An Introduction to Pattern Recognition and Related Topics

Abstract: Probability theory for random vectors simple statistical decision procedures operations upon random vectors feature extraction and nonlinear mapping quadratic and linear classifiers parameter estimation nonparametric estimation and classification estimating and bounding the probability of error classification of stationary time series context-dependent methods other methods of classification.

Mobile Agents

Abstract: From the Publisher: Like human agents, Internet agents can move independently in a network of locations to perform their tasks, all the while making independent decisions. Their behavior can provide astonishing solutions not even dreamed of today. Mobile Agents will help you understand their amazing potential for business applications and show you in detail how to create and use the power of agent technologies.