3420 search results - page 27 / 684 » A Language-Based Approach to Security |
ICDCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
DBSEC
2009
13 years 11 months ago
2009
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
ICCCN
1998
IEEE
14 years 2 months ago
1998
IEEE
Data protection and data security become more significant since telecommunication services and innovative applications based on these services handle an increasing amount of sensi...
FC
2010
Springer
14 years 1 months ago
2010
Springer
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r...
IASTEDSEA
2004
13 years 11 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...