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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started 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 a powerful, scalable, all-in-one network monitoring system built for modern IT environments. It supports agentless monitoring of thousands of devices, covering SNMP, servers, virtualization (VMware, Hyper-V), cloud (AWS, Azure, GCP), traffic flows (NetFlow, sFlow), logs, and custom...

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
Reflectiz

Reflectiz is the AI-powered web exposure company trusted by hundreds of global organizations, including Cox Communications, DAZN, Village Roadshow, Leeds United, and lastminute.com, to continuously monitor and protect everything that executes on their live websites. The platform observes real...

See Software
Keeper Security

Keeper Security is transforming the way people and organizations around the world secure their passwords and passkeys, secrets and confidential information. Keeper’s easy-to-use cybersecurity platform is built on a foundation of zero-trust and zero-knowledge security to protect every user on...

See Software