SourceForge
Browse Enterprise Blog Help Jobs
Log In or Join

Solution Centers

Go Parallel HTML5 Windows 8 Smarter IT Big Data
Newsletters
  • Home
  • Browse
  • Security
Advanced
Filters
  • Programming Language: Prolog ×
Refine your search
Translations
  • English (1)
  • German (1)
License
  • OSI-Approved Open Source (5)
    • GNU General Public License version 2.0 (3)
    • GNU Library or Lesser General Public License version 2.0 (1)
    • MIT License (1)
    • Mozilla Public License 1.1 (1)
  • Creative Commons Attribution License (1)
    • Creative Commons Attribution ShareAlike License V3.0 (1)
Programming Language
  • Java (7)
  • Unix Shell (1)
  • XSL (1)
Status
  • 3 - Alpha (4)
  • 2 - Pre-Alpha (1)
  • 4 - Beta (1)
OS
  • Linux (7)
  • Grouping and Descriptive Categories (6)
    • All POSIX (3)
    • OS Independent (3)
    • 32-bit MS Windows (1)
  • Windows (5)
  • Mac (4)
  • BSD (3)
Freshness
  • Recently updated (2)

Security

Sort By
Name
  • Most Popular
  • Last Updated
  • Name
  • Rating
  • Cryptography

Showing page 1 of 1.

  • Computer Security Models Icon
    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 Icon
    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 Icon
    MotOrBAC

    An OrBAC policy editor

    9 weekly downloads
  • Peertrust Icon
    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 Icon
    Rei Policy Specification Language

    Rei is a rule-based policy specification language in OWL-Lite for distributed systems.

    0 weekly downloads
  • SecFlow Icon
    SecFlow

    SecFlow - Secure Flow Analyzation for Java and .NET

    1 weekly downloads
  • bddshell Icon
    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

Staff Picks

  • Icon America's Army 2.5 Assist
  • Icon BibDesk
  • Icon boot-repair-disk
  • Icon The FreeType Project
  • Icon KXStudio
  • Icon NAS4Free
  • Icon Password Safe
  • Icon RSS Owl | RSS / RDF / Atom Feed Reader
  • Icon Zentyal Linux small business server

Top Downloaded

Powered by Dice Logo Latest Tech Jobs

  • Loading... The latest tech jobs.
See All Jobs ››
SourceForge
About Site Status @sfnet_ops
Find and Develop Software
Create a Project Software Directory Top Downloaded Projects
Community
Blog @sourceforge Job Board
Help
Site Documentation Support Request Real-Time Support
Copyright © 2013 Dice. All Rights Reserved.
SourceForge is a Dice Holdings, Inc. service.
Terms Privacy Cookies/Opt Out Advertise SourceForge.JP Big Data