J. Y. Halpern and R. van der Meyden. Adding revocation and timestamps to a logic for sdsi's linked local name spaces. unpublished manuscript, 1999. 33  Home/Search   Document Not in Database   Summary   Related Articles

....cation has a nontrivial semantic impact are those of the form n 7 p, where n is a local name. We return to this issue below. 10 We make the simplifying assumption that certi cates do not have expiration dates. It is not dicult to extend the logic to take into account certi cate expiration; see [HvdM99]. The assumption that [ k2K c(k) is nite is meant to enforce the intuition that only nitely many certi cates are issued. None of our later results depend on this assumption, but it seems reasonable given the intended application of the logic. 11 Note that our semantics is thus in the spirit of ....

J. Y. Halpern and R. van der Meyden. Adding revocation and timestamps to a logic for sdsi's linked local name spaces. unpublished manuscript, 1999. 33

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC