Tag cloud | Project Tree | Project List

B Method C++ CLI CamiTK Computational Geometry DMU Domain Specific Embedded Language Eclipse Education FFI FST Functional Designation Graph ICD Loader IPv6 Internet JS Linguistic Programming MANET MT NLP NetCDF OpenCL Python Qualitative Data Analysis RBAC ReSICLED Requirements Ruby STEP Secure IS SimGrid Software tools Systemes embarques TCP TEL Traces UDP UML Ubiquest HADAS WSD WebApp apriori automated reasoning daemon data analysis data mining data production eco-conception education equational logic exams formal verification front-end gmcao human computer interface interaction langages synchrones lcm linux malware model driven architecture monitoring multi-core multi-platform multimodality network performance network testing networking noyaux de systemes pattern mining pervasive computing platform editor plugin prime implicate generation protocols security senslab sensor service oriented architecture shell socket software engineering systemc systemes critiques tel test file. testbed traffic analysis traffic generator ubicomp visualization wireless

1 project in result set.
B4MSecure - B4MSecure is an Eclipse platform dedicated to formally reason on functional UML models enhanced by an access control policy which follows the RBAC model. The tool can be downloaded from : http://b4msecure.forge.imag.fr/
Tags: B Method, Secure IS, UML, RBAC
This project has not yet categorized itself in the Trove Software Map

Activity Percentile: 23
Activity Ranking: 11
Registered: 2012-06-21 10:26

Powered By FusionForge