3821 search results - page 136 / 765 » A Security Model for Aglets |
ASIASIM
2004
Springer
14 years 2 months ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...
APSEC
2003
IEEE
14 years 2 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
14 years 1 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...
TAPSOFT
1997
Springer
14 years 1 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...