3811 search results - page 70 / 763 » The Safe-Tcl Security Model |
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
EUROCRYPT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
IEEESP
2010
14 years 10 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
113
click to vote
ICICS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...