3811 search results - page 397 / 763 » The Safe-Tcl Security Model |
194
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
166
click to vote
OTM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
167
click to vote
AFRICACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...
161
click to vote
OOPSLA
1989
Springer
15 years 11 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
160
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...