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