1875 search results - page 46 / 375 » Modeling the Security of Steganographic Systems |
WSC
2004
14 years 10 days ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
HOTOS
1997
IEEE
14 years 3 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
CSFW
2002
IEEE
14 years 4 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
ISW
2000
Springer
14 years 2 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 (...
KER
2006
13 years 11 months ago
2006
This work examines the interplay of inter-personal and inter-organizational trust, two distinct but related concepts, through a theoretic inter-organizational trust-based security...