Temporal specification of an integrity kernel for multimedia office systems

The authors report on the temporal specification of integrity systems with the interval specification language ISL. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in offic...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ramanna, S., Peters, J.F., Unger, E.A.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer security Distributed databases Information systems Kernel Logic Multimedia systems Sections Specification languages Terminology
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	199
container_issue
container_start_page	192
container_title
container_volume
creator	Ramanna, S. Peters, J.F. Unger, E.A.
description	The authors report on the temporal specification of integrity systems with the interval specification language ISL. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in office information systems where the dynamic evaluation of data integrity based upon partial knowledge and informed judgment is required. The D.D. Clark and D.R.A. Wilson (1981) integrity model, designed to prevent fraudulent and erroneous data modification, is subsumed. An integrity system which includes extensions to the concept defined in the Multimedia Office Server (MULTOS) project is given. An integrity characteristic tuple incorporating the notions of correctness, completeness, quality, timeliness, and confidence associated with each constrained document component is presented. A specification for a simplified integrity kernel is provided.< >
doi_str_mv	10.1109/SOAC.1990.82167
format	Conference Proceeding
fullrecord	<record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_82167</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>82167</ieee_id><sourcerecordid>82167</sourcerecordid><originalsourceid>FETCH-LOGICAL-i86t-2d80111888a1e6d0736298455aba2f75ac5e2ab9cba1dbe105e23ed0a698a6113</originalsourceid><addsrcrecordid>eNotj8tqwzAURAWl0JJ6HbrTD9jVlWxZWgbTFwlkEe_DtX1d1PqFpC789zVtZzMMnBkYxvYgMgBhny7nQ5WBtSIzEnR5wxJbGmHAaCkUlHcsCeFTbMrzQoG6Z8eaxmX2OPCwUOt612J088TnnuPE3RTpw7u48i_yEw28nz0fv4foRuocbtRWIB7WEGkMD-y2xyFQ8u87Vr8819Vbejq_vleHU-qMjqnsjAAAYwwC6U6USktr8qLABmVfFtgWJLGxbYPQNQRii4o6gdoa1ABqxx7_Zh0RXRfvRvTr9fev-gFapkvj</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Temporal specification of an integrity kernel for multimedia office systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Ramanna, S. ; Peters, J.F. ; Unger, E.A.</creator><creatorcontrib>Ramanna, S. ; Peters, J.F. ; Unger, E.A.</creatorcontrib><description>The authors report on the temporal specification of integrity systems with the interval specification language ISL. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in office information systems where the dynamic evaluation of data integrity based upon partial knowledge and informed judgment is required. The D.D. Clark and D.R.A. Wilson (1981) integrity model, designed to prevent fraudulent and erroneous data modification, is subsumed. An integrity system which includes extensions to the concept defined in the Multimedia Office Server (MULTOS) project is given. An integrity characteristic tuple incorporating the notions of correctness, completeness, quality, timeliness, and confidence associated with each constrained document component is presented. A specification for a simplified integrity kernel is provided.< ></description><identifier>ISBN: 9780818620317</identifier><identifier>ISBN: 0818620315</identifier><identifier>DOI: 10.1109/SOAC.1990.82167</identifier><language>eng</language><publisher>IEEE Comput. Soc</publisher><subject>Computer security ; Distributed databases ; Information systems ; Kernel ; Logic ; Multimedia systems ; Sections ; Specification languages ; Terminology</subject><ispartof>Proceedings of the 1990 Symposium on Applied Computing, 1990, p.192-199</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/82167$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/82167$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Ramanna, S.</creatorcontrib><creatorcontrib>Peters, J.F.</creatorcontrib><creatorcontrib>Unger, E.A.</creatorcontrib><title>Temporal specification of an integrity kernel for multimedia office systems</title><title>Proceedings of the 1990 Symposium on Applied Computing</title><addtitle>SOAC</addtitle><description>The authors report on the temporal specification of integrity systems with the interval specification language ISL. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in office information systems where the dynamic evaluation of data integrity based upon partial knowledge and informed judgment is required. The D.D. Clark and D.R.A. Wilson (1981) integrity model, designed to prevent fraudulent and erroneous data modification, is subsumed. An integrity system which includes extensions to the concept defined in the Multimedia Office Server (MULTOS) project is given. An integrity characteristic tuple incorporating the notions of correctness, completeness, quality, timeliness, and confidence associated with each constrained document component is presented. A specification for a simplified integrity kernel is provided.< ></description><subject>Computer security</subject><subject>Distributed databases</subject><subject>Information systems</subject><subject>Kernel</subject><subject>Logic</subject><subject>Multimedia systems</subject><subject>Sections</subject><subject>Specification languages</subject><subject>Terminology</subject><isbn>9780818620317</isbn><isbn>0818620315</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1990</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj8tqwzAURAWl0JJ6HbrTD9jVlWxZWgbTFwlkEe_DtX1d1PqFpC789zVtZzMMnBkYxvYgMgBhny7nQ5WBtSIzEnR5wxJbGmHAaCkUlHcsCeFTbMrzQoG6Z8eaxmX2OPCwUOt612J088TnnuPE3RTpw7u48i_yEw28nz0fv4foRuocbtRWIB7WEGkMD-y2xyFQ8u87Vr8819Vbejq_vleHU-qMjqnsjAAAYwwC6U6USktr8qLABmVfFtgWJLGxbYPQNQRii4o6gdoa1ABqxx7_Zh0RXRfvRvTr9fev-gFapkvj</recordid><startdate>1990</startdate><enddate>1990</enddate><creator>Ramanna, S.</creator><creator>Peters, J.F.</creator><creator>Unger, E.A.</creator><general>IEEE Comput. Soc</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1990</creationdate><title>Temporal specification of an integrity kernel for multimedia office systems</title><author>Ramanna, S. ; Peters, J.F. ; Unger, E.A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i86t-2d80111888a1e6d0736298455aba2f75ac5e2ab9cba1dbe105e23ed0a698a6113</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1990</creationdate><topic>Computer security</topic><topic>Distributed databases</topic><topic>Information systems</topic><topic>Kernel</topic><topic>Logic</topic><topic>Multimedia systems</topic><topic>Sections</topic><topic>Specification languages</topic><topic>Terminology</topic><toplevel>online_resources</toplevel><creatorcontrib>Ramanna, S.</creatorcontrib><creatorcontrib>Peters, J.F.</creatorcontrib><creatorcontrib>Unger, E.A.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Ramanna, S.</au><au>Peters, J.F.</au><au>Unger, E.A.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Temporal specification of an integrity kernel for multimedia office systems</atitle><btitle>Proceedings of the 1990 Symposium on Applied Computing</btitle><stitle>SOAC</stitle><date>1990</date><risdate>1990</risdate><spage>192</spage><epage>199</epage><pages>192-199</pages><isbn>9780818620317</isbn><isbn>0818620315</isbn><abstract>The authors report on the temporal specification of integrity systems with the interval specification language ISL. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in office information systems where the dynamic evaluation of data integrity based upon partial knowledge and informed judgment is required. The D.D. Clark and D.R.A. Wilson (1981) integrity model, designed to prevent fraudulent and erroneous data modification, is subsumed. An integrity system which includes extensions to the concept defined in the Multimedia Office Server (MULTOS) project is given. An integrity characteristic tuple incorporating the notions of correctness, completeness, quality, timeliness, and confidence associated with each constrained document component is presented. A specification for a simplified integrity kernel is provided.< ></abstract><pub>IEEE Comput. Soc</pub><doi>10.1109/SOAC.1990.82167</doi><tpages>8</tpages></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISBN: 9780818620317
ispartof	Proceedings of the 1990 Symposium on Applied Computing, 1990, p.192-199
issn
language	eng
recordid	cdi_ieee_primary_82167
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	Computer security Distributed databases Information systems Kernel Logic Multimedia systems Sections Specification languages Terminology
title	Temporal specification of an integrity kernel for multimedia office systems
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-30T08%3A18%3A07IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Temporal%20specification%20of%20an%20integrity%20kernel%20for%20multimedia%20office%20systems&rft.btitle=Proceedings%20of%20the%201990%20Symposium%20on%20Applied%20Computing&rft.au=Ramanna,%20S.&rft.date=1990&rft.spage=192&rft.epage=199&rft.pages=192-199&rft.isbn=9780818620317&rft.isbn_list=0818620315&rft_id=info:doi/10.1109/SOAC.1990.82167&rft_dat=%3Cieee_6IE%3E82167%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=82167&rfr_iscdi=true