SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION

Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is descri...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	MACKAY, Jason, F, FOURNET, Cedric, DILLAWAY, Blair, B, BECKER, Moritz, Y, GORDON, Andrew, D
Format:	Patent
Sprache:	eng ; fre ; ger
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC COMMUNICATION TECHNIQUE ELECTRIC DIGITAL DATA PROCESSING ELECTRICITY PHYSICS TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page
container_issue
container_start_page
container_title
container_volume
creator	MACKAY, Jason, F FOURNET, Cedric DILLAWAY, Blair, B BECKER, Moritz, Y GORDON, Andrew, D
description	Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.
format	Patent
fullrecord	<record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_EP2062150B1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EP2062150B1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_EP2062150B13</originalsourceid><addsrcrecordid>eNrjZDAJdnUODfIMiVTwcfRzD3V0d1UICXL0C_ZxDPH09wtWCPcM8VDw8Xf3dFYIcg329wkFCfMwsKYl5hSn8kJpbgYFN9cQZw_d1IL8-NTigsTk1LzUknjXACMDMyNDUwMnQ2MilAAArqAnYQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION</title><source>esp@cenet</source><creator>MACKAY, Jason, F ; FOURNET, Cedric ; DILLAWAY, Blair, B ; BECKER, Moritz, Y ; GORDON, Andrew, D</creator><creatorcontrib>MACKAY, Jason, F ; FOURNET, Cedric ; DILLAWAY, Blair, B ; BECKER, Moritz, Y ; GORDON, Andrew, D</creatorcontrib><description>Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.</description><language>eng ; fre ; ger</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC COMMUNICATION TECHNIQUE ; ELECTRIC DIGITAL DATA PROCESSING ; ELECTRICITY ; PHYSICS ; TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION</subject><creationdate>2017</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20171025&DB=EPODOC&CC=EP&NR=2062150B1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76290</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20171025&DB=EPODOC&CC=EP&NR=2062150B1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>MACKAY, Jason, F</creatorcontrib><creatorcontrib>FOURNET, Cedric</creatorcontrib><creatorcontrib>DILLAWAY, Blair, B</creatorcontrib><creatorcontrib>BECKER, Moritz, Y</creatorcontrib><creatorcontrib>GORDON, Andrew, D</creatorcontrib><title>SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION</title><description>Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC COMMUNICATION TECHNIQUE</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>ELECTRICITY</subject><subject>PHYSICS</subject><subject>TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2017</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZDAJdnUODfIMiVTwcfRzD3V0d1UICXL0C_ZxDPH09wtWCPcM8VDw8Xf3dFYIcg329wkFCfMwsKYl5hSn8kJpbgYFN9cQZw_d1IL8-NTigsTk1LzUknjXACMDMyNDUwMnQ2MilAAArqAnYQ</recordid><startdate>20171025</startdate><enddate>20171025</enddate><creator>MACKAY, Jason, F</creator><creator>FOURNET, Cedric</creator><creator>DILLAWAY, Blair, B</creator><creator>BECKER, Moritz, Y</creator><creator>GORDON, Andrew, D</creator><scope>EVB</scope></search><sort><creationdate>20171025</creationdate><title>SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION</title><author>MACKAY, Jason, F ; FOURNET, Cedric ; DILLAWAY, Blair, B ; BECKER, Moritz, Y ; GORDON, Andrew, D</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_EP2062150B13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng ; fre ; ger</language><creationdate>2017</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC COMMUNICATION TECHNIQUE</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>ELECTRICITY</topic><topic>PHYSICS</topic><topic>TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION</topic><toplevel>online_resources</toplevel><creatorcontrib>MACKAY, Jason, F</creatorcontrib><creatorcontrib>FOURNET, Cedric</creatorcontrib><creatorcontrib>DILLAWAY, Blair, B</creatorcontrib><creatorcontrib>BECKER, Moritz, Y</creatorcontrib><creatorcontrib>GORDON, Andrew, D</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>MACKAY, Jason, F</au><au>FOURNET, Cedric</au><au>DILLAWAY, Blair, B</au><au>BECKER, Moritz, Y</au><au>GORDON, Andrew, D</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION</title><date>2017-10-25</date><risdate>2017</risdate><abstract>Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.</abstract><oa>free_for_read</oa></addata></record>
fulltext	fulltext_linktorsrc
identifier
ispartof
issn
language	eng ; fre ; ger
recordid	cdi_epo_espacenet_EP2062150B1
source	esp@cenet
subjects	CALCULATING COMPUTING COUNTING ELECTRIC COMMUNICATION TECHNIQUE ELECTRIC DIGITAL DATA PROCESSING ELECTRICITY PHYSICS TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION
title	SECURITY LANGUAGE TRANSLATIONS WITH LOGIC RESOLUTION
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-30T16%3A03%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=MACKAY,%20Jason,%20F&rft.date=2017-10-25&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EEP2062150B1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true