Formal Requirements for Key Distribution Protocols

Author(s):  
Paul Syverson ◽  
Catherine Meadows
Author(s):  
Ik Rae JEONG ◽  
Jeong Ok KWON ◽  
Dong Hoon LEE
Keyword(s):  

1993 ◽  
Author(s):  
Michael Reiter ◽  
Kenneth Birman ◽  
Robert van Renesse

2020 ◽  
Author(s):  
Vimal Gaur ◽  
Devika Mehra ◽  
Anchit Aggarwal ◽  
Raveena Kumari ◽  
Srishti Rawat

2019 ◽  
Vol 40 (3) ◽  
pp. 33-40 ◽  
Author(s):  
M. Yu. Dyakov ◽  
E. G. Mikhaylova

The article contains some comments on the project of the National Program for the Development of the Far East until 2025 and for the future till 2035. It is noted that the project does not meet the formal requirements of the program document, has a number of unreasonable proposals and measures, the implementation of which may threaten the sustainable development of the region. The authors believe that in the development process it is necessary to take into account the principles of environmental and economic balance. The conclusion is made about the feasibility of developing a methodological framework for evaluating such documents as a tool for achieving sustainable development goals.


Sign in / Sign up

Export Citation Format

Share Document