3811 search results - page 262 / 763 » The Safe-Tcl Security Model |
204
click to vote
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
163
click to vote
IJISEC
2008
15 years 6 months ago
2008
Abstract This paper surveys the literature on certificateless encryption schemes. In particular, we examine the large number of security models that have been proposed to prove the...
177
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
176
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
The protection of personal health information has become a live issue in a number of countries including the USA, Canada, Britain and Germany. The debate has shown that there is w...
151
click to vote
KER
2006
15 years 6 months ago
2006
This work examines the interplay of inter-personal and inter-organizational trust, two distinct but related concepts, through a theoretic inter-organizational trust-based security...