dc.identifier.uri | http://hdl.handle.net/11401/72078 | |
dc.identifier.uri | http://hdl.handle.net/1951/44805 | |
dc.description.sponsorship | This work is sponsored by the Stony Brook University Graduate School in compliance with the requirements for completion of degree. | en_US |
dc.format | Monograph | |
dc.format.medium | Electronic Resource | en_US |
dc.language.iso | en_US | |
dc.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
dc.type | Thesis | |
dcterms.available | 2009-06-02T13:29:27Z | |
dcterms.available | 2015-04-24T14:50:35Z | |
dcterms.creator | Hristova, Katia | |
dcterms.dateAccepted | 2009-06-02T13:29:27Z | |
dcterms.dateAccepted | 2015-04-24T14:50:35Z | |
dcterms.dateSubmitted | 2009-06-02T13:29:27Z | |
dcterms.dateSubmitted | 2015-04-24T14:50:35Z | |
dcterms.format | Monograph | |
dcterms.format | Application/PDF | en_US |
dcterms.identifier | http://hdl.handle.net/11401/72078 | |
dcterms.identifier | http://hdl.handle.net/1951/44805 | |
dcterms.issued | 2007-12-01 | |
dcterms.language | en_US | |
dcterms.provenance | Submitted by Karen D'Angelo (kdangelo@notes.cc.sunysb.edu) on 2009-06-02T13:29:27Z
No. of bitstreams: 1
000000181.sbu.pdf: 686027 bytes, checksum: 3755792c95ed0d759ed7fdf4d8c1579b (MD5) | en_US |
dcterms.provenance | Made available in DSpace on 2009-06-02T13:29:27Z (GMT). No. of bitstreams: 1
000000181.sbu.pdf: 686027 bytes, checksum: 3755792c95ed0d759ed7fdf4d8c1579b (MD5)
Previous issue date: 2007-12-01 | en_US |
dcterms.provenance | Made available in DSpace on 2011-01-12T14:51:37Z (GMT). No. of bitstreams: 3
000000181.sbu.pdf.txt: 284552 bytes, checksum: 32cc306d926a1efa9ee2b5e4b8b81770 (MD5)
license.txt: 1763 bytes, checksum: 58963a3e92b7a5630f3fb06472fe4180 (MD5)
000000181.sbu.pdf: 686027 bytes, checksum: 3755792c95ed0d759ed7fdf4d8c1579b (MD5)
Previous issue date: 2007-12-01 | en |
dcterms.provenance | Made available in DSpace on 2015-04-24T14:50:35Z (GMT). No. of bitstreams: 4
000000181.sbu.pdf.jpg: 1894 bytes, checksum: a6009c46e6ec8251b348085684cba80d (MD5)
000000181.sbu.pdf.txt: 284552 bytes, checksum: 32cc306d926a1efa9ee2b5e4b8b81770 (MD5)
license.txt: 1763 bytes, checksum: 58963a3e92b7a5630f3fb06472fe4180 (MD5)
000000181.sbu.pdf: 686027 bytes, checksum: 3755792c95ed0d759ed7fdf4d8c1579b (MD5)
Previous issue date: 2007-12-01 | en |
dcterms.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
dcterms.subject | cyber trust applications | |
dcterms.subject | algorithms | |
dcterms.subject | linear temporal logic model checking | |
dcterms.subject | trust management | |
dcterms.subject | rule-based query | |
dcterms.title | From Rules to Efficient Algorithms for Cyber Trust Applications | |
dcterms.type | Thesis | |