METHOD AND APPARATUS OF FORMAL SPECIFICATION BASED ON AXML AND RECORDING MEDIUM USING THIS

摘要

A formal specification method of an access control model based on AXML, a device thereof and a recording medium recording the same are provided to hierarchically verify security of an access control rule used for guaranteeing confidentiality of an AXML document in a web service environment. An access control model generator(510) generates an access control model about an AXML(Active Extensible Markup Language) document by using an access control rule per a client. A process algebra formal model generator(520) converts the access control model into CSP language. A query converter converts a query of a client into process algebra language. A security verification unit performs security verification about the AXML document.