基于单断言的安全的密文区间检索