4445 search results - page 732 / 889 » Reflective Authorization Systems |
149
Voted
EUROCRYPT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
167
click to vote
UML
1998
Springer
15 years 9 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
168
click to vote
APSEC
1996
IEEE
15 years 9 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
136
Voted
COCO
1994
Springer
15 years 9 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
160
Voted
ESORICS
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...