2137 search results - page 224 / 428 » Proving Abstract Non-interference |
120
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
131
Voted
FC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. At FC'05, Chen et al. introduced an elegant privacy protecting coupon (PPC) system, CESSS05 [13], in which users can purchase multi-coupons and redeem them unlinkabl...
120
Voted
FC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We introduce the notion of tamper-evidence for mix networks in order to defend against attacks aimed at covertly leaking secret information held by corrupted mix servers....
134
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
142
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...