2002 г., Том 7, № 4, с.18-43

Представлен вывод абстрактной спецификации по набору неформальных требований для полного группового протокола согласования ключа, основанного на алгоритме Диффи-Хеллмана в модели с изменяющимся числом равноправных участников (Dynamic Peer Group, DPG). В работе использован язык спецификации системы RAISE (RSL). В рамках компонентного подхода к построению спецификации использовались средства раздельной разработки системы RAISE.

*68M10 Network design and communication

68M12 Network protocols

68U35 Information systems (hypertext navigation, interfaces, decision support, etc.)

*C.2.1 Network Architecture and Design

C.2.2 Network Protocols

H.4 Information Systems Applications

H.5 Information Interfaces and Presentation