Сервіси
Аудит інфраструктури ІТ підприємства
Консультування, супровід аналізу
Аутсорсинг, супровід розробки
КСЗІ, супровід впровадження
Продукти
Комунікатор
Програмний комплект криптографічного захисту інформації ПК КЗІ X.509.
Дізнатися більше →Про нас
Архітектурна компанія SYNRC з 2005 року розробляє та підтримує систему автоматизації підприємства ERP.UNO, побудовану згідно формальної специфікації для гетерогенних платформ. Synrc Research Center в 2015 році заснувала лабораторію Groupoid Infinity для дослідження формальних мов. Архітектурна компанія пропонує повний цикл розробки ПЗ.
Стандарти
Повна відповідність ITU-T X-series, IETF RFC, NIST/FIPS, ДСТУ, ISO/IEC
- X.509 • X.680–X.697 (ASN.1) • CMS/S-MIME (RFC 5652, 5751–5754)
- PKIX, CMPv2 (RFC 4210), OCSP (RFC 6960), EST (RFC 7030)
- AES-GCM, Kyber, MLS, P-384/P-521, ДСТУ 4145-2002
- ISO 1012, 9001, 25010, 8807, 9126, 12207, 13568
- MIL-STD-882E, MIL-STD-6016, DO-254, DO-178C