Show simple item record

dc.identifier.urihttp://hdl.handle.net/11401/72078
dc.identifier.urihttp://hdl.handle.net/1951/44805
dc.description.sponsorshipThis work is sponsored by the Stony Brook University Graduate School in compliance with the requirements for completion of degree.en_US
dc.formatMonograph
dc.format.mediumElectronic Resourceen_US
dc.language.isoen_US
dc.publisherThe Graduate School, Stony Brook University: Stony Brook, NY.
dc.typeThesis
dcterms.available2009-06-02T13:29:27Z
dcterms.available2015-04-24T14:50:35Z
dcterms.creatorHristova, Katia
dcterms.dateAccepted2009-06-02T13:29:27Z
dcterms.dateAccepted2015-04-24T14:50:35Z
dcterms.dateSubmitted2009-06-02T13:29:27Z
dcterms.dateSubmitted2015-04-24T14:50:35Z
dcterms.formatMonograph
dcterms.formatApplication/PDFen_US
dcterms.identifierhttp://hdl.handle.net/11401/72078
dcterms.identifierhttp://hdl.handle.net/1951/44805
dcterms.issued2007-12-01
dcterms.languageen_US
dcterms.provenanceSubmitted 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.provenanceMade 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-01en_US
dcterms.provenanceMade 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-01en
dcterms.provenanceMade 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-01en
dcterms.publisherThe Graduate School, Stony Brook University: Stony Brook, NY.
dcterms.subjectcyber trust applications
dcterms.subjectalgorithms
dcterms.subjectlinear temporal logic model checking
dcterms.subjecttrust management
dcterms.subjectrule-based query
dcterms.titleFrom Rules to Efficient Algorithms for Cyber Trust Applications
dcterms.typeThesis


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record