Tag cloud | Project Tree | Project List

2A A Posteriori Error Estimation Arithmetic B Method Boost C++ CUDA Calcul Parallele CamiTK Computational Geometry Computer Vision Courses Cryptology Domain Specific Embedded Language Education FFI FST Feel++ Finite Fields Finite element method Finite fields Functional Designation GPGPU GPU Galerkin methods Graph ICD Loader IPv6 Integer Internet JS LJK LaTex Lemon Life Linguistic Programming MPI MT MaiMoSiNE Mesh Adaptation NLP Numerical Methods Numerical methods OpenCL Python ReSICLED Rheolef Ruby STEP Scientific computing SimGrid Software tools SpMV Systemes embarques TD TEL Traces Visualisation WSD analyse asymptotique c++ cmake data analysis ecoulemenents sanguins education formal verification front-end high order methods high performance computing human computer interface immersive teleoperation interaction linux midi milieux poreux monitoring multi-core multimodality networking numerical methods pattern mining pebble game pervasive computing programming environments protocols robot scilab security sensor service oriented architecture socket software engineering systemc systemes critiques testbed traffic analysis traffic generator visualization wiktionary 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: UML, RBAC, B Method, Secure IS
This project has not yet categorized itself in the Trove Software Map

Activity Percentile: 13
Activity Ranking: 50
Registered: 2012-06-21 10:26

Powered By FusionForge