3811 search results - page 103 / 763 » The Safe-Tcl Security Model |
128
Voted
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
132
Voted
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
Cryptographic computations are often carried out on insecure devices for which the threat of key exposure represents a serious concern. Forward security allows one to mitigate the...
153
Voted
TIT
2011
14 years 11 months ago
2011
—In the paradigm of network coding, the nodes in a network are allowed to encode the information received from the input links. With network coding, the full capacity of the netw...
117
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
Developers of complex systems have to address concerns such as security, availability of services, and timeliness that often are non-orthogonal to traditional design structures, t...
139
click to vote
ISCC
2000
IEEE
15 years 9 months ago
2000
IEEE
Flexible and distributed management systems based on mobile agents have certain advantages over centralized and static management architectures. However, security plays a decisive...