Prikladnaya Diskretnaya Matematika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Prikl. Diskr. Mat.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Prikladnaya Diskretnaya Matematika, 2013, Number 1(19), Pages 34–49 (Mi pdm399)  

Mathematical Foundations of Computer Security

Representation of semantic role based access control system by a colored Petri net

N. A. Semenova

Moscow State Institute of Electronics and Mathematics (Technical University)
References:
Abstract: This paper describes the process of updating Semantic RBAC system by several administrators concurrently. Processes of system transition between states are represented by a Petri net. Secure transitions are defined, and security conditions are proved for each transition type.
Keywords: RBAC, automated role management.
Document Type: Article
UDC: 004.056.52
Language: Russian
Citation: N. A. Semenova, “Representation of semantic role based access control system by a colored Petri net”, Prikl. Diskr. Mat., 2013, no. 1(19), 34–49
Citation in format AMSBIB
\Bibitem{Sem13}
\by N.~A.~Semenova
\paper Representation of semantic role based access control system by a colored Petri net
\jour Prikl. Diskr. Mat.
\yr 2013
\issue 1(19)
\pages 34--49
\mathnet{http://mi.mathnet.ru/pdm399}
Linking options:
  • https://www.mathnet.ru/eng/pdm399
  • https://www.mathnet.ru/eng/pdm/y2013/i1/p34
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Прикладная дискретная математика
    Statistics & downloads:
    Abstract page:207
    Full-text PDF :113
    References:48
    First page:1
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024