Nivat's processing systems: decision problems related to protection and synchronization
The paper introduces a model for processing systems which provides ‘environment’ to the abstract notion of process as introduced by Nivat [13]. A basic component of the model is a protection mechanism which is general enough to capture as particular instances known protection strategies (e.g., take,...
Saved in:
| Published in | Theoretical computer science Vol. 26; no. 1; pp. 83 - 103 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Amsterdam
Elsevier B.V
1983
Elsevier |
| Subjects | |
| Online Access | Get full text |
| ISSN | 0304-3975 1879-2294 |
| DOI | 10.1016/0304-3975(83)90080-4 |
Cover
| Abstract | The paper introduces a model for processing systems which provides ‘environment’ to the abstract notion of process as introduced by Nivat [13]. A basic component of the model is a protection mechanism which is general enough to capture as particular instances known protection strategies (e.g., take, grant, create, parameter passing) [5, 8, 9].
Decision problems associated with these systems are discussed for both cases: processes with infinite and finite behaviours. Solvability results are obtained for the safety problem: as a corollary we get the solvability result of Beauquier in the context of his processes [1]. Unsolvability results are also derived.
A concept of compatibility is introduced for processes acting in parallel subject to some synchronization condition. We show that the traversing from rational to algebraic systems can take the compatibility problem from solvable to unsolvable. |
|---|---|
| AbstractList | The paper introduces a model for processing systems which provides ‘environment’ to the abstract notion of process as introduced by Nivat [13]. A basic component of the model is a protection mechanism which is general enough to capture as particular instances known protection strategies (e.g., take, grant, create, parameter passing) [5, 8, 9].
Decision problems associated with these systems are discussed for both cases: processes with infinite and finite behaviours. Solvability results are obtained for the safety problem: as a corollary we get the solvability result of Beauquier in the context of his processes [1]. Unsolvability results are also derived.
A concept of compatibility is introduced for processes acting in parallel subject to some synchronization condition. We show that the traversing from rational to algebraic systems can take the compatibility problem from solvable to unsolvable. |
| Author | Masalagiu, C Istrail, S |
| Author_xml | – sequence: 1 givenname: S surname: Istrail fullname: Istrail, S – sequence: 2 givenname: C surname: Masalagiu fullname: Masalagiu, C |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=9604249$$DView record in Pascal Francis |
| BookMark | eNp9UE1LAzEQDVLBtvoPPOxBUA-rySabTTwIUvyCohfFY8gmE41ssyVZCvXXm7Xi0bkMvI9h3puhSegDIHRM8AXBhF9iillJZVOfCXouMRa4ZHtoSkQjy6qSbIKmf5IDNEvpE-epGz5Fb09-o4fTVKxjbyAlH96LtE0DrNJVYcH45Pswkm2XoSJCpwewxdCP2ABmGGkdbDYF8xH74L_0iB2ifae7BEe_e45e725fFg_l8vn-cXGzLA2RcihbYNy2lFDuhKZEWEEIF865RlPXWqEbY3SNRaMr40TriAFWVU3dYq45Bkzn6GR3d62T0Z2LOuSf1Tr6lY5bJTlmFZNZxnYyE_uUIrg_BcFq7FCNBamxICWo-ulQsWy73tkgR9h4iCoZD8GA9TFnV7b3_x_4Bps2fGI |
| CODEN | TCSCDI |
| Cites_doi | 10.1016/0304-3975(82)90080-9 10.1016/0304-3975(76)90068-2 10.1147/sj.192.0229 |
| ContentType | Journal Article |
| Copyright | 1983 1984 INIST-CNRS |
| Copyright_xml | – notice: 1983 – notice: 1984 INIST-CNRS |
| DBID | 6I. AAFTH AAYXX CITATION IQODW |
| DOI | 10.1016/0304-3975(83)90080-4 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Pascal-Francis |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science Applied Sciences |
| EISSN | 1879-2294 |
| EndPage | 103 |
| ExternalDocumentID | 9604249 10_1016_0304_3975_83_90080_4 0304397583900804 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 29Q 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AABNK AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SCC SDF SDG SES SEW SPC SPCBC SSV SSW SSZ T5K TAE TN5 WH7 WUQ XJT YNT ZMT ZY4 ~G- AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 0SF IQODW |
| ID | FETCH-LOGICAL-c199t-be46db3136f8a318d81168fff7a3fbd8a7cca5087a2cf8bf1ce42275b06a60e03 |
| IEDL.DBID | IXB |
| ISSN | 0304-3975 |
| IngestDate | Sat Jul 06 14:21:45 EDT 2024 Wed Oct 01 04:45:59 EDT 2025 Fri Feb 23 02:23:14 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Computer system |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 CC BY 4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c199t-be46db3136f8a318d81168fff7a3fbd8a7cca5087a2cf8bf1ce42275b06a60e03 |
| OpenAccessLink | https://www.sciencedirect.com/science/article/pii/0304397583900804 |
| PageCount | 21 |
| ParticipantIDs | pascalfrancis_primary_9604249 crossref_primary_10_1016_0304_3975_83_90080_4 elsevier_sciencedirect_doi_10_1016_0304_3975_83_90080_4 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 1900 |
| PublicationDate | 1983-00-00 |
| PublicationDateYYYYMMDD | 1983-01-01 |
| PublicationDate_xml | – year: 1983 text: 1983-00-00 |
| PublicationDecade | 1980 |
| PublicationPlace | Amsterdam |
| PublicationPlace_xml | – name: Amsterdam |
| PublicationTitle | Theoretical computer science |
| PublicationYear | 1983 |
| Publisher | Elsevier B.V Elsevier |
| Publisher_xml | – name: Elsevier B.V – name: Elsevier |
| References | Masalagiu (BIB10) 1982; XXVIII Berstel (BIB3) 1979 Istrail, Masalagiu (BIB6) 1981 Boasson, Nivat (BIB16) 1980; 20 Nivat (BIB12) 1979 Salomaa (BIB14) 1973 Beauquier (BIB1) 1978 Harrison, Ruzzo, Ullman (BIB5) 1976; 19 Nivat (BIB11) 1978; 12 Arnold, Nivat (BIB17) 1982 Harrison (BIB4) 1978 Lipton, Snyder (BIB9) 1978 Lipton, Snyder (BIB8) 1976; 72 Istrail (BIB18) 1982; 21 Wood, Fernandez, Summers (BIB15) 1980; 19 Beauquier, Nivat (BIB2) 1980 Jones, Laaser (BIB7) 1977; 3 Nivat (BIB13) 1979; 11 Salomaa (10.1016/0304-3975(83)90080-4_BIB14) 1973 Boasson (10.1016/0304-3975(83)90080-4_BIB16) 1980; 20 Berstel (10.1016/0304-3975(83)90080-4_BIB3) 1979 Arnold (10.1016/0304-3975(83)90080-4_BIB17) 1982 Nivat (10.1016/0304-3975(83)90080-4_BIB13) 1979; 11 Harrison (10.1016/0304-3975(83)90080-4_BIB4) 1978 Lipton (10.1016/0304-3975(83)90080-4_BIB8) 1976; 72 Masalagiu (10.1016/0304-3975(83)90080-4_BIB10) 1982; XXVIII Wood (10.1016/0304-3975(83)90080-4_BIB15) 1980; 19 Harrison (10.1016/0304-3975(83)90080-4_BIB5) 1976; 19 Nivat (10.1016/0304-3975(83)90080-4_BIB12) 1979 Istrail (10.1016/0304-3975(83)90080-4_BIB18) 1982; 21 Istrail (10.1016/0304-3975(83)90080-4_BIB6) 1981 Beauquier (10.1016/0304-3975(83)90080-4_BIB1) 1978 Beauquier (10.1016/0304-3975(83)90080-4_BIB2) 1980 Lipton (10.1016/0304-3975(83)90080-4_BIB9) 1978 Nivat (10.1016/0304-3975(83)90080-4_BIB11) 1978; 12 Jones (10.1016/0304-3975(83)90080-4_BIB7) 1977; 3 |
| References_xml | – volume: 72 year: 1976 ident: BIB8 article-title: A linear time algorithm for deciding subject security publication-title: Res. Rept. – start-page: 3 year: 1979 end-page: 53 ident: BIB12 article-title: Infinite words, infinite trees, infinite computations publication-title: Foundations of Computer Science III – year: 1978 ident: BIB4 article-title: Introduction to Formal Language Theory – volume: 12 year: 1978 ident: BIB11 article-title: Languages algébraiques de mots infinis publication-title: R.A.I.R.O. Theoret. Inform. – volume: 19 start-page: 229 year: 1980 end-page: 253 ident: BIB15 article-title: Data base security: Requirements, policies and models publication-title: IBM Systems J. – year: 1981 ident: BIB6 article-title: On protection in ‘intelligent’ processing systems publication-title: New Directions in Artificial Intelligence – start-page: 110 year: 1978 end-page: 125 ident: BIB1 article-title: Sur la compatibilité des systèmes de sécurité publication-title: Proc. 3rd Internat. Symp. on Programming – volume: 20 start-page: 285 year: 1980 end-page: 309 ident: BIB16 article-title: Adherences of Languages publication-title: J. CSS – volume: 11 start-page: 899 year: 1979 end-page: 919 ident: BIB13 article-title: Sur la synchronization des processus publication-title: Revue Technique Thomson-CSF – volume: XXVIII year: 1982 ident: BIB10 article-title: Characterizing regularity of languages by data protection systems publication-title: Annales de l'Université, Iaşi – start-page: 35 year: 1982 end-page: 68 ident: BIB17 article-title: Comportements de processus publication-title: Coll. AFCET – volume: 21 start-page: 341 year: 1982 end-page: 349 ident: BIB18 article-title: Some remarks on nonalgebraic adherences publication-title: Theoret. Comput. Sci. – start-page: 407 year: 1980 end-page: 453 ident: BIB2 article-title: Applications of formal language theory to problems of security and synchronizaation publication-title: Formal Language Theory – year: 1973 ident: BIB14 article-title: Formal Languages – volume: 19 year: 1976 ident: BIB5 article-title: Protection in operating systems publication-title: Comm. ACM – start-page: 367 year: 1978 end-page: 385 ident: BIB9 article-title: On synchronization and security publication-title: Foundations of Secure Computations – volume: 3 start-page: 105 year: 1977 end-page: 117 ident: BIB7 article-title: Complete problems for deterministic polynomial times publication-title: Theoret. Comput. Sci. – year: 1979 ident: BIB3 article-title: Transauctions and Context-Free Languages – volume: 21 start-page: 341 year: 1982 ident: 10.1016/0304-3975(83)90080-4_BIB18 article-title: Some remarks on nonalgebraic adherences publication-title: Theoret. Comput. Sci. doi: 10.1016/0304-3975(82)90080-9 – volume: 3 start-page: 105 year: 1977 ident: 10.1016/0304-3975(83)90080-4_BIB7 article-title: Complete problems for deterministic polynomial times publication-title: Theoret. Comput. Sci. doi: 10.1016/0304-3975(76)90068-2 – start-page: 367 year: 1978 ident: 10.1016/0304-3975(83)90080-4_BIB9 article-title: On synchronization and security publication-title: Foundations of Secure Computations – volume: 12 issue: 3 year: 1978 ident: 10.1016/0304-3975(83)90080-4_BIB11 article-title: Languages algébraiques de mots infinis publication-title: R.A.I.R.O. Theoret. Inform. – start-page: 35 year: 1982 ident: 10.1016/0304-3975(83)90080-4_BIB17 article-title: Comportements de processus publication-title: Coll. AFCET – volume: 19 start-page: 229 issue: 2 year: 1980 ident: 10.1016/0304-3975(83)90080-4_BIB15 article-title: Data base security: Requirements, policies and models publication-title: IBM Systems J. doi: 10.1147/sj.192.0229 – volume: 11 start-page: 899 issue: 4 year: 1979 ident: 10.1016/0304-3975(83)90080-4_BIB13 article-title: Sur la synchronization des processus publication-title: Revue Technique Thomson-CSF – volume: 72 year: 1976 ident: 10.1016/0304-3975(83)90080-4_BIB8 article-title: A linear time algorithm for deciding subject security – start-page: 407 year: 1980 ident: 10.1016/0304-3975(83)90080-4_BIB2 article-title: Applications of formal language theory to problems of security and synchronizaation – year: 1978 ident: 10.1016/0304-3975(83)90080-4_BIB4 – start-page: 110 year: 1978 ident: 10.1016/0304-3975(83)90080-4_BIB1 article-title: Sur la compatibilité des systèmes de sécurité publication-title: Proc. 3rd Internat. Symp. on Programming – volume: XXVIII issue: 2 year: 1982 ident: 10.1016/0304-3975(83)90080-4_BIB10 article-title: Characterizing regularity of languages by data protection systems publication-title: Annales de l'Université, Iaşi – year: 1981 ident: 10.1016/0304-3975(83)90080-4_BIB6 article-title: On protection in ‘intelligent’ processing systems – volume: 19 issue: 9 year: 1976 ident: 10.1016/0304-3975(83)90080-4_BIB5 article-title: Protection in operating systems publication-title: Comm. ACM – year: 1979 ident: 10.1016/0304-3975(83)90080-4_BIB3 – start-page: 3 year: 1979 ident: 10.1016/0304-3975(83)90080-4_BIB12 article-title: Infinite words, infinite trees, infinite computations – volume: 20 start-page: 285 year: 1980 ident: 10.1016/0304-3975(83)90080-4_BIB16 article-title: Adherences of Languages publication-title: J. CSS – year: 1973 ident: 10.1016/0304-3975(83)90080-4_BIB14 |
| SSID | ssj0000576 |
| Score | 1.2731491 |
| Snippet | The paper introduces a model for processing systems which provides ‘environment’ to the abstract notion of process as introduced by Nivat [13]. A basic... |
| SourceID | pascalfrancis crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 83 |
| SubjectTerms | Applied sciences Computer science; control theory; systems Computer systems and distributed systems. User interface Exact sciences and technology Software |
| Title | Nivat's processing systems: decision problems related to protection and synchronization |
| URI | https://dx.doi.org/10.1016/0304-3975(83)90080-4 |
| Volume | 26 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier ScienceDirect Open Access Journals customDbUrl: eissn: 1879-2294 dateEnd: 20211105 omitProxy: true ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: IXB dateStart: 19750601 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals customDbUrl: mediaType: online eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: AKRWK dateStart: 19750601 isFulltext: true providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3PT8MgFCZmJ43xx9Q4dYaDiXpo1gKl1Jsal2mynVzcjUCBZJeusfX_Fwqd28GYeOmBQtt8wHuvwPs-AG7sOJBCZTiywYKMSCYc5a295MjWl4jRpHDrHdMZnczJ2yJdbOTCuGOVwfZ7m95a61AyCmiOquVy5Pb0rDNNrYd3YY-jBMWEOfWG18XTjzFOM79d6TYAbO0uey6ho3XZHcP37TMi8pt32q9EbTEzXuxiwwONj8BBCB3ho_-6Y7Cjyz447GQZYJilfbA3XVOx1ifgY-b0y25rWPmUAOuqoKdvrh-gCgo7MOjK1LDNbdEKNisYKBzcbVEq26gsWiZdn7h5Cubjl_fnSRTUFKIiyfMmkppQJXGCqWHCzmTFkoQyY0wmsJGKiaxw8ggsE6gwTJqk0AShLJUxFTTWMT4DvXJV6nMAKSY4ZgTFSCliAwZWGFmYGAlKUk1yNABRhyKvPGkG706TOdS5Q50zzFvUORmArIOab3U-t3b9j5bDrZ5Zv85xztg_y4t_P_kS7CY5w3615Qr0ms8vPbTxRyOv2xH2DUAO1R4 |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3PT8MgFCY6D2qMP6bGqVMOJuqhWQuUUm9qXKZuO21xNwKlJLt0i53_v1Do3A7GxEsPFNrmA957Bd73AXBjxoEUKsGBCRZkQBJhKW_NJUWmvkSMRpld7xgMaW9M3ibxZCUXxh6r9Lbf2fTKWvuSjkezM59OO3ZPzzjT2Hh4G_aQTbBFYhOc2CS-ydOPNY4Tt19pdwBM9Tp9LqKdZdkdw_fVQwLym3vam4vSgKad2sWKC-oegn0fO8JH93lHYCMvmuCg1mWAfpo2we5gycVaHoOPoRUwuy3h3OUEGF8FHX9z-QCVl9iBXlimhFVyS67gYgY9h4O9LQplGhVZRaXrMjdPwLj7MnruBV5OIciiNF0EMidUSRxhqpkwU1mxKKJMa50IrKViIsmsPgJLBMo0kzrKcoJQEsuQChrmIT4FjWJW5GcAUkxwyAgKkVLERAws0zLTIRKUxDlJUQsENYp87lgzeH2czKLOLeqcYV6hzkkLJDXUfK33uTHsf7Rsr_XM8nWWdMb8Wp7_-8nXYLs3GvR5_3X4fgF2opRht_RyCRqLz6-8bYKRhbyqRts3FTTYRA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Nivat%27s+processing+systems%3A+decision+problems+related+to+protection+and+synchronization&rft.jtitle=Theoretical+computer+science&rft.au=ISTRAIL%2C+S&rft.au=MASALAGIU%2C+C&rft.date=1983&rft.pub=Elsevier&rft.issn=0304-3975&rft.eissn=1879-2294&rft.volume=26&rft.issue=1-2&rft.spage=83&rft.epage=103&rft_id=info:doi/10.1016%2F0304-3975%2883%2990080-4&rft.externalDBID=n%2Fa&rft.externalDocID=9604249 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon |