3420 search results - page 263 / 684 » A Language-Based Approach to Security |
136
click to vote
ISPEC
2005
Springer
15 years 11 months ago
2005
Springer
: Threats for today’s production networks range from fully automated worms and viruses to targeted, highly sophisticated multi-phase attacks carried out manually. In order to pro...
142
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...
154
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
New kinds of risks increasingly threaten electronic commerce. The traditional instrument for risk transfer is insurance. Research is needed to determine whether new Internet risks...
165
click to vote
CCS
1998
ACM
15 years 9 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
165
click to vote
ETRICS
2006
15 years 9 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...