calculus free download - SourceForge

Showing 2 open source projects for "calculus"

View related business solutions

Security Python Clear Filters & Widen Search

Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free
Try Google Cloud Risk-Free With $300 in Credit
No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free
1

SecQua

SecQua tries to quantify the security of a given Information System

...Pirounias, The role of weighted entropy in security quantification, International Conference On Information Security And Artificial Intelligence (ISAI 2010), December 17-19, 2010, Chengdu, China. *C. Patsakis, D. Mermigas, S. Pirounias, N. Alexandris, E. Fountas, Towards a formalistic measuring of security using stochastic calculus, 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT 2010), Chengu, China, 9-11 July 2010.

Downloads: 0 This Week

Last Update: 2014-08-11
See Project
2

ProVerif Editor

An editor to edit and check protocols specified in SPI-calculus using ProVerif.

1 Review

Downloads: 2 This Week

Last Update: 2013-04-10
See Project

Previous
You're on page 1
Next