Caitlin Phillips

Learn More
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary purpose is to communicate information from one agent to another. These actions are unable to alter the valuation of any proposition within the system. In fields such as security, it(More)
The day-today operations of corporations and government agencies rely on inter-operating legacy, COTs, databases, clients, servers, etc., which are brought together into a distributed environment running middleware (e.g., CORBA, JINI, DCOM, etc.). Both access control and security assurance within these distributed applications is paramount. Of particular(More)
In software construction, analysis investigates system requirements and design captures system functionality. To facilitate analysis and design, one popular technique is the unified modeling language, UML. In UML, there are use-case diagrams for the interaction of users with system components , class diagrams for the static classes and relations among them,(More)
Middleware security encompasses a wide range of potential considerations, ranging from the ability to utilize the security capabilities of middleware solutions (e.g., CORBA, .NET, J2EE, DCE, etc.) directly " out-of-the-box " in support of a distributed application to leveraging the middleware itself (paradigm) to realize complex and intricate security(More)
We develop an algebraic modal logic that combines epistemic modalities with dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that " change the state " of the underlying system and not just the state of knowledge of(More)
Traditionally, the analysis of computer algorithms has concentrated on combinatorial methods, with the primary objective being worst-case performance bounds. However, in the last 10 years there has been a dramatic increase in the probabilistic analysis of algorithms. One reason is obvious and suggests that the trend will continue: the statistical behavior(More)
Worldwide energy demand has increased significantly over the last half century. A main reason for this increase in demand is the growth in population, which grew from 2.55 billion in 1950 to 6.396 billion in 2004. There are many negative effects associated with greater energy consumption such as increased levels of greenhouse gas emissions and higher energy(More)
  • 1