3811 search results - page 476 / 763 » The Safe-Tcl Security Model |
188
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
167
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
169
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
228
click to vote
EUROCRYPT
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the possibility to prove security of the well-known blind signature schemes by Chaum, and by Pointcheval and Stern in the standard model, i.e., without random oracle...
188
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...