Информационные технологии на службе общества

Платформа
Сеть
Идентификация пользователей
Система принятия решений
Система обмена сообщениями
Социальная сеть

Информационные технологии дают огромные возможности по решению многих проблем, однако, они же создают риски, поэтому нужно очень тщательно прорабатывать программно-аппаратные решения, на которые будет опираться общество.

Во-первых, очевидно, что ключевые общественные системы должны принадлежать обществу, никаких проприетарных и патентованных решений применять нельзя, слишком высоки риски, допустимы только свободные решения (см. «Свободное программное обеспечение»), свободные протоколы и форматы данных (см. «Форматы данных»).

Во-вторых, ключевые решения должны быть максимально избавлены от ошибок, судя по всему наиболее надёжный способ для этого, это формальная верификация (см. «Формальная верификация ПО»). Помимо этого аппаратное обеспечение должно быть защищённым от несанкционированного доступа и внешних помех, чтобы случаи вроде геомагнитной бури 1859 года (солнечный супершторм) не парализовали цивилизацию.

В-третьих, так как формальная верификация гарантирует (если она корректно проведена) только соответствие реализации требованиям, но не гарантирует корректность требований остаются риски монокультуры (см. «Защищаться от рисков монокультуры»), поэтому ключевые системы нужно иметь в виде, как минимум, двух независимых реализаций. Самый простой способ это объявление конкурса и выбор нескольких решений.

В-четвёртых, самые важные для устойчивости общества системы должны быть полностью децентрализованными (см. «Защищаться от рисков централизованной инфраструктуры»), такой подход имеет свои недостатки (см. «Идеальных решений нет»), однако в данном случае это цена за безопасность.

Есть несколько типов проблем, которые можно решать с помощью информационных технологий: коллективное принятие решений, реализация прав (на информацию, на приватность), снижение трансакционных издержек.