Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/01/01 Vol. E88-ANo. 1pp. 327-330 Type of Manuscript: Special Section LETTER (Special Section on Cryptography and Information Security) Category: Keyword: Coloured Petri Net, access control, role, behavior,