Эндрю Майерс (Andrew Myers)
Подробнее
- Организация
- Корнелльский университет
- Известен
- Jif, децентрализованная модель меток
Профессор Корнелла, создатель Jif — диалекта Java, компилятор которого отказывается собирать код, если секретные данные могут из него утечь.
Будучи аспирантом Барбары Лисков в MIT, он в 1997 году придумал децентрализованную модель меток: у каждого значения есть метка с указанием владельца и тех, кто может его читать, а решает, когда значение можно рассекретить, владелец, а не центральный администратор. В 1999 году он встроил модель в Java как JFlow, позже Jif, с проверкой информационных потоков типами на этапе компиляции.
В 2003 году вместе с Андреем Сабельфельдом он написал обзор, определивший область. Среди поздних применений — система голосования Civitas (2008), написанная на Jif для защиты от подкупа и принуждения, и распределённый язык Fabric. Индустрия такие системы типов так и не приняла, но идея жива в каждом taint-анализе, ищущем XSS.