《计算机信息系统安全保护等级划分准则》（GB 17859－1999）规定，哪个等级的计算机信息系统可信计算基建立于形式化安全策略之上，并考虑隐蔽通道？

依据《计算机信息系统安全保护等级划分准则》（GB 17859－1999），结构化保护级的计算机信息系统可信计算基建立于一个明确定义的形式化安全策略模型之上，它要求将自主和强制访问控制扩展到所有主体与客体，并且需要考虑隐蔽通道。因此，答案为D。