Новый тезис: формальным определением IaaS является наличие доступа к управлению системым ПО (root level). Формальным различием PaaS от SaaS является исполнение кода заказчика.
В SaaS исполняется код исполнителя с данными заказчика, в PaaS исполняется код заказчика, но заказчик не имеет доступа к системному ПО. В IaaS заказчик имеет к нему доступ.
Границы размытые. Картинка символизирует.