4511 search results - page 61 / 903 » Observation Based System Security |
177
click to vote
ISW
2000
Springer
15 years 9 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 (...
180
click to vote
CMS
2006
15 years 7 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
149
click to vote
ESCIENCE
2005
IEEE
15 years 11 months ago
2005
IEEE
The majority of current security architectures for grid systems use public key infrastructure (PKI) to authenticate identities of grid members and to secure resource allocation to...
182
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
158
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...