Combining UML, ASTD and B for the formal specification of an access control filter
type: Dataset
contact point: Organization
  fn: CCSD
keyword: journal-articles
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: access-control-policy
keyword: secureuml
keyword: astd
landing page: 1614-5046
description: International audience
issued: 2026-05-09T19:01:54.609003
language: en
modified: 2026-05-09T19:01:54.609008

test_moissonnage_selune
type: Agent

Combining UML, ASTD and B for the formal specification of an access control filter
type: Distribution
access URL: https://hal.science/hal-00860798
format: HTML
issued: 2026-05-09T19:01:54.615593
modified: 2026-05-09T19:01:54.600820