From Rules to Efficient Algorithms for Cyber Trust Applications
| dc.contributor.author | Hristova, Katia | en_US |
| dc.date.accessioned | 2009-06-02T13:29:27Z | en_US |
| dc.date.available | 2009-06-02T13:29:27Z | en_US |
| dc.date.issued | 2007-12-01 | en_US |
| dc.date.submitted | December 2007 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1951/44805 | en_US |
| dc.description.sponsorship | Stony Brook University Libraries. SBU Graduate School in Computer Science. Lawrence Martin (Dean of Graduate School), Professor Scott Stoller, (Chairman) Computer Science Department, Professor Yanhong A. Liu, (Advisor) Computer Science Department, Professor C. R. Ramakrishnan, (Committee Member) Computer Science Department, Professor David Warren, (Committee Member) Department of Computer Science, Dr. Vugranam Sreedhar, (External Committee Member) IBM TJ Watson Research Center, Yorktown Heights, NY. | en_US |
| dc.format | Electronic Resource. | en_US |
| dc.language.iso | en_US | en_US |
| dc.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | en_US |
| dc.subject.other | cyber trust applications | en_US |
| dc.subject.other | algorithms | en_US |
| dc.subject.other | linear temporal logic model checking | en_US |
| dc.subject.other | trust management | en_US |
| dc.subject.other | rule-based query | en_US |
| dc.title | From Rules to Efficient Algorithms for Cyber Trust Applications | en_US |
| dc.type | Thesis | en_US |
