Nivat-processing systems: Decision problems related to protection and synchronization

  • Sorin Istrail
  • Cristian Masalagiu
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 159)


The paper introduces a model for "processing systems" which provide 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 [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]. A concept of compatibility is introduced for processes acting in parallel subject to some synchronization conditions. We show that the traversing from rational to algebraic systems can take the compatibility problem from solvable to unsolvable.


Safety Problem Compatibility Problem Formal Language Theory Solvability Result Infinite Word 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Beauquier — Sur la compatibilité des systèmes de sécurité. Proc. 3-rd International Symposium on Programming, B.Robinet ed.,Paris, 1978, p.110–125.Google Scholar
  2. 2.
    J. Beauquier, M.Nivat — Application of Formal Language Theory to Problems of Security and Synchronization. Formal Language Theory, R.Book ed., Academic Press, 1980, p.407–453.Google Scholar
  3. 3.
    J. Berstel —Transductions and Context-Free Languages, Teubner Vlg, 1979.Google Scholar
  4. 4.
    M.A.Harrison — Introduction to Formal Language Theory. Addison Wesley Publishing Company, Inc.,1978.Google Scholar
  5. 5.
    M.A.Harrison, W.L.Ruzzo, J.D.Ullman — Protection in Operating Systems, CACM, vol.19, nr.9, 1976.Google Scholar
  6. 6.
    S.Istrail, C.Masalagiu — On Protection in "Intelligent" Processing Systems. New Directions in Artificial Intelligence, C.Ignat ed., Universitatea "Al.I.Cuza", Iaşi, 1981.Google Scholar
  7. 7.
    N.D. Jones, W.T. Laaser — Complete problems for Deterministic Polynomial Time. Theoretical Computer Science 3, 1977, p.105–117.CrossRefGoogle Scholar
  8. 8.
    R.J.Lipton, L.Snyder — A Linear Time Algorithm for Deciding Subject Security. Research Report 72, Yale University, 1976.Google Scholar
  9. 9.
    R.J.Lipton, L.Snyder — On Synchronization and Security. Foundations of Secure Computations, 1978, p. 367–385.Google Scholar
  10. 10.
    C.Masalagiu — Characterizing Regularity of Languages by Data Protection Systems. Annales de l'Université, Iaşi, Tome XXVIII, f.2, 1982 (to appear).Google Scholar
  11. 11.
    M.Nivat — Languages algébriques de mots infinis. R.A.I.R.O., Theoretical Computer Science, vol. 12, nr.3, 1978.Google Scholar
  12. 12.
    M.Nivat — Infinite Words, Infinite Trees, Infinite Computations. Foundations of Computer Science III, part.2, Bakker and J. van Leeuwen ed., 1979, p.3–53.Google Scholar
  13. 13.
    M. Nivat — Sur la synchronisation des processus, Revue Technique Thomson-CSF, vol.11, nr.4, 1979, p.899–919.Google Scholar
  14. 14.
    A. Salomaa — Formal Languages, Academic Press, New York, 1973.Google Scholar
  15. 15.
    C. Wood, E.B. Fernandez, R.C. Summers — Data Base Security; Requirements, Policies and Models. IBM Systems Journal, vol.19, nr.2, 1980, p.229–253.Google Scholar
  16. 16.
    L. Boasson, M. Nivat — Adherences of Languages, J.C.S.S., vol.20, 1980, p.285–309.Google Scholar
  17. 17.
    A.Arnold, M.Nivat — Comportements de processus —Colloque AFCET, Paris, mars, 1982, p.35–68.Google Scholar
  18. 18.
    S. Istrail — Some Remarks on Nonalgebraic Adherences, Theor.Comput. Sci. 21, 1982, p. 341–349CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Sorin Istrail
    • 1
  • Cristian Masalagiu
    • 1
  1. 1.Department of mathematics and Computer CenterUniversitatea "Al.I.Cuza" IaşiIaşiRomania

Personalised recommendations