1679 search results - page 30 / 336 » Security Properties and CSP |
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
TAPSOFT
1997
Springer
13 years 12 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
ACSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
MOC
2010
13 years 2 months ago
2010
We consider temporal approximation of stationary statistical properties of dissipative complex dynamical systems. We demonstrate that stationary statistical properties of the time...