Searching for "Logical Secrets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Reducing dynamic epistemic logic to PDL by program transformation
by Jan Van Eijck — 2004
… announcement, the logic of group announcements, the logic of secret message passing, and so on, can all…
Cited by 4 (4 self) – Add To MetaCart

Spawn: A Distributed Computational Economy
by Carl A. Waldspurger, Tad Hogg, Bernard A. Huberman, Jeffrey O. Kephart, Scott Stornetta, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy, Logical In, Ehud Shapiro, Mark S. Miller, Mark S. Miller, K. Eric, Drexler Markets, James L. Peterson, Abraham Silberschatz, Operating Systems, Concepts Addison-wesley — 1991
…[26] Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, and Jacob Levy. Logical secrets. In Ehud…
Cited by 203 (7 self) – Add To MetaCart

Secure Continuous Biometric-Enhanced Authentication
by Andrew J. Klosterman, Gregory R. Ganger — 2000
…. The first two involve physical or logical secrets, making them precise and easy to verify -- either one has…
Cited by 9 (3 self) – Add To MetaCart

Secure Continuous Biometric-Enhanced Authentication
by Andrew Klosterman Gregory, Gregory R. Ganger — 2000
… or logical secrets, making them precise and easy to verify | either one has the required item or one does not…
Add To MetaCart

WARREN, D.H.D. 1982b. "Perpetual Processes -- An Unexploited Prolog Technique", Short Communication,
by Logic Programming, Directions Object, Oriented Programming, P. Shriver, P. Wegner (eds
…, Logic Programming Newsletter (3), Summer. WARREN, D.H.D. 1990. "The Extended Andorra Model…
Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB