Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

104

Voted

B
2007
Springer

140views Software Engineering» more B 2007»

Meca: A Tool for Access Control Models

15 years 9 months ago

Meca: A Tool for Access Control Models

Download membres-liglab.imag.fr

Amal Haddad

Real-time Traffic

B 2007 | Software Engineering |

claim paper

Related Content

» Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools

» EON modeling and analyzing dynamic access control systems with logic programs

» Formal Verification of Security Model Using SPR Tool

» ASASP Automated Symbolic Analysis of Security Policies

» A fault model and mutation testing of access control policies

» Intentional access management making access control usable for endusers

» Enforcing Access Control Using Risk Assessment

» Synthesising verified access control systems through model checking

» Evaluating Access Control Policies Through Model Checking

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	B
Authors	Amal Haddad

Comments (0)