1679 search results - page 103 / 336 » Security Properties and CSP |
SAFECOMP
2007
Springer
14 years 4 months ago
2007
Springer
The general trend towards ubiquitous networking has reached the realm of airplanes. E-enabled airplanes with wired and wireless network interfaces offer a wide spectrum of network ...
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
WISA
2009
Springer
14 years 4 months ago
2009
Springer
RFID-based access control solutions for mobile environments, e.g. ticketing systems for sport events, commonly rely on readers that are not continuously connected to the back-end s...
FORMATS
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
CISC
2007
Springer
14 years 4 months ago
2007
Springer
We propose the idea of building a secure hash using quadratic or higher degree multivariate polynomials over a finite field as the compression function. We analyze some security ...