Software Map
Project Tree
Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
|
Topic > Security
|
Browse By:
|
9 projects in result set.
gazelle
- IHE Gazelle Tools. The Gazelle project is aimed at developing testing tools for IHE. This tools shall test the interoperability of medical systems and the compliance of the messages send by those systems with standards recommender by IHE.
|
- Development Status : 3 - Alpha[Filter]
- Development Status : 4 - Beta[Filter]
- Development Status : 5 - Production/Stable[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : Apache Software License[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : Communications[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
- Topic : Security[Filter]
|
Activity Percentile: 97.21
Registered: 2007-03-07 16:37 |
Why3
- Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/
|
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 95.26
Registered: 2010-11-05 10:44 |
Nullability Inference Tool
- NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 32.59
Registered: 2008-04-30 12:04 |
Steganography and Covert Channels
- Steganography and Covert Channels source code repo
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : Security[Filter]
|
Activity Percentile: 10.58
Registered: 2014-09-29 13:56 |
Sandbox for Grids
- Sandbox for Grids (s4g) is a Linux user-mode sandbox. It offers a secure execution environment for suspicious applications. Written in C, it tries to solve some typical problems of quarantine applications: efficiency and security.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Topic : Security[Filter]
- Topic : System[Filter]
|
Activity Percentile: 0.00
Registered: 2005-07-12 11:01 |
IoT Modeling Language
- A transpiler from an IoT modelling language to BIP.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : Creative Commons[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : Security[Filter]
- Topic : Software Development : Compilers[Filter]
|
Registered: 2018-10-03 13:16 |
Frama-C
- Frama-C is a platform for static analysis of C source code
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2008-01-23 14:35 |
Thesis
- All Files from Loïc Fejoz's Ph'd thesis.
|
|
Registered: 2007-01-29 09:19 |
Toolbox for Opacity
- This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.
|
|
Activity Percentile: 0.00
Registered: 2010-03-09 11:24 |
