Knowledge Flow Checker download

KF Checker infers information flow rules from source code.
The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected.

Project Samples

The output of KF Checker on the NSPK protocol

Project Activity

See All Activity >

Follow Knowledge Flow Checker

Knowledge Flow Checker Web Site

Other Useful Business Software

Host LLMs in Production With On-Demand GPUs

NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Knowledge Flow Checker!

Additional Project Details

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Security Software, Java Information Analysis Software

Registered

2012-10-03

Similar Business Software

AdRem NetCrunch

NetCrunch is commercial, self-hosted, agentless network and IT infrastructure monitoring software for Windows Server. It monitors network devices, servers, virtualization platforms, cloud services, applications, websites, logs, telemetry, and network traffic across on-premises and hybrid IT...

See Software
CBT Nuggets

Learning IT doesn’t have to mean boring lectures, the frantic pace of bootcamps, or lots of time away from your job or family. With CBT Nuggets, you can train anytime, anywhere, at your own pace — all from the comfort of your office chair or living room couch. Our training team is made up of...

See Software
Auth0

Auth0 takes a modern approach to Identity, providing secure access to any application, for any user. Safeguarding billions of login transactions each month, Auth0 delivers convenience, privacy, and security so customers can focus on innovation. Auth0 is part of Okta, The World’s Identity...

See Software
PathSolutions TotalView

PathSolutions TotalView network monitoring and troubleshooting software bridges the gap between NETWORK MONITORING and TROUBLESHOOTING RESOLUTION telling you WHEN, WHERE and WHY network errors occur. PathSolutions TotalView continuously monitors and tracks the performance of every device and...

See Software
Kitecyber

Kitecyber: Gen AI & Data Security, Built on the Endpoint Kitecyber protects your data and secures Gen AI use with a single lightweight agent that runs directly on the endpoint. Because it lives on the device, Kitecyber sees the complete picture—device posture, operating system activity,...

See Software
Proton Pass

Proton Pass for Business is a secure, end-to-end encrypted password manager built for teams that prioritize privacy, compliance, and control. Safely store and share passwords, passkeys, secure notes, aliases, and credit card details with zero-knowledge encryption, ensuring only your...

See Software