3811 search results - page 233 / 763 » The Safe-Tcl Security Model |
171
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
166
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
192
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
143
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Survivability modeling and evaluation have gained increasing importance. Most existing models assume that the distributions for transitions between states are exponential. Howev...
182
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...