946 search results - page 138 / 190 » Software engineering for security: a roadmap |
IJNSEC
2007
14 years 9 months ago
2007
The exponential growth of the Internet (WWW in particular) has opened-up several avenues for covert channel communication. Steganographic communication is one such avenue. Hiding ...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
COMSWARE
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In this paper, we propose an authentication and secure channel establishment protocol that is reliable and adaptable for multihop wireless home networks. The main idea ...
EUROSYS
2010
ACM
15 years 2 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...