Using temporal logic and algebra, a formal requirementlanguage was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
2
Internationalization means that the application design and development should be flexible enough to satisfy the requirement of multiple language and cultural differences.
国际化意味着应用程序的设计和开发应该足够灵活，可以满足多种语言和文化差异的需求。
3
It seems that you have tightly coupled the requirement of language neutrality with that for asynchronous processing.