- Programming Language: Prolog ×
Security
Showing page 1 of 1.
-
Computer Security Models Computer Security Model Implementations for Computer Science Graduate Students and Researchers. Implementations include the Take-Grant Protection System and a Self-Organized Critical (SOC) Lattice Model for malware behavior.
0 weekly downloads -
Mortemale: the cracking society Our idea is to deploy a society of computational agents that collaborate in order to achieve the shared goal of decrypting a chunk of ciphertext or recovering a password from an hash by means of a dictionary-based attack.
2 weekly downloads -
MotOrBAC An OrBAC policy editor
9 weekly downloads -
Peertrust The PeerTrust system uses policies to describe trust and security requirements. Such policies are a component of Peertrust run-time system that can negotiate to establish trust among systems on the Semantic Web
0 weekly downloads -
Rei Policy Specification Language Rei is a rule-based policy specification language in OWL-Lite for distributed systems.
0 weekly downloads -
SecFlow SecFlow - Secure Flow Analyzation for Java and .NET
1 weekly downloads -
bddshell bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.
1 weekly downloads