现代密码学的挑战不仅是确保通信安全,而且要以既高效又可扩展的方式实现。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.