Сандал
ды разные. ерланг например
Те, которые знают и любят разработчики.
И не языки теперь, а среды объектно-ориентированного проектирования.
Языки тут не очень важны, гораздо важнее средства криптозащиты информации. Эти СКЗИ должны быть сертифицированы ФСТЭК.