4511 search results - page 142 / 903 » Observation Based System Security |
170
click to vote
TCS
2008
15 years 6 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
187
click to vote
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
169
click to vote
FORMATS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
166
click to vote
IEEEARES
2006
IEEE
16 years 15 days ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
192
click to vote
IWIA
2005
IEEE
16 years 1 days ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...