LAUSR

The issue of software security has become not only an important, but a necessary requirement for correctness. In order to deal with security, it is necessary to consider multiple users of persistent data sets and shared variables, topics as yet not addressed in ReSoLVE. Recent advancements in the areas of concurrency, reference behavior, and global (shared) variables have put the community in a position of tackling the important and complicated issue of security by beginning to direct attention to answering some questions that arise when making security issues a part of software correctness. Those questions include: What new data structures do we need? How do we specify rules governing multiple users of single data sets? What mathematical theories can support our security specifications? What, if any, new constructs might we need in the language? Answering these questions and others that will undoubtedly arise as we address the issue of security is a major challenge for the ReSoLVE community.