A formal methodology for integral security design and verification of network protocols
Journal of Systems and Software
| Hi-index | 0.00 |
Today, almost all the programs we use to send and receive email include support for strong security mechanisms that we can apply end-to-end. But we generally don't use those — why is that? In this article, the author briefly reviews the security features available in common mail user agents and considers what it is about those that causes us to almost universally ignore them.