Show simple item record

dc.contributor.authorHristova, Katiaen_US
dc.date.accessioned2009-06-02T13:29:27Zen_US
dc.date.available2009-06-02T13:29:27Zen_US
dc.date.issued2007-12-01en_US
dc.date.submittedDecember 2007en_US
dc.identifier.urihttp://hdl.handle.net/1951/44805en_US
dc.description.sponsorshipStony 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.formatElectronic Resource.en_US
dc.language.isoen_USen_US
dc.publisherThe Graduate School, Stony Brook University: Stony Brook, NY.en_US
dc.subject.othercyber trust applicationsen_US
dc.subject.otheralgorithmsen_US
dc.subject.otherlinear temporal logic model checkingen_US
dc.subject.othertrust managementen_US
dc.subject.otherrule-based queryen_US
dc.titleFrom Rules to Efficient Algorithms for Cyber Trust Applicationsen_US
dc.typeThesisen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record