Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.387.940 Times

Java + information flow 3.0

  Date Added: January 11, 2010  |  Visits: 773

Java + information flow

Report Broken Link
Printer Friendly Version


Product Homepage
Download (75 downloads)



Java + information flow (Jif in short) is a security-typed programming language that extends Java with support for information flow control and access control, both at compile time and at run time. The source code for the Jif compiler and run-time system is now available for download. Jif is written in Java and is built using the Polyglot extensible Java compiler framework. Static information flow control can protect the confidentiality and integrity of information manipulated by computing systems. The compiler tracks the correspondence between information the policies that restrict its use, enforcing security properties end-to-end within the system. After checking information flow within Jif programs, the Jif compiler translates them to Java programs and uses an ordinary Java compiler to produce secure executable programs. Jif extends Java by adding labels that express restrictions on how information may be used. For example, the following variable declaration declares not only that the variable x is an int, but also that the information in x is governed by a security policy: int {Alice→Bob} x; In this case, the security policy says that the information in x is controlled by the principal Alice, and that Alice permits this information to be seen by the principal Bob. The policy {Alice←Bob} means that information is owned by Alice, and that Alice permits it to be affected by Bob. Based on label annotations like these, the Jif compiler analyzes information flows within programs, to determines whether they enforce the confidentiality and integrity of information..

Requirements: No special requirements
Platforms: Linux
Keyword: Compiler Compilers Extends Flow Information Information Flow Java Jif Programming Programming Language
Users rating: 0/10

License: Freeware
USER REVIEWS
More Reviews or Write Review


JAVA + INFORMATION FLOW RELATED
Development Tools  -  Operational Information 1.2
Operational Information, information page for non-professional aerodrome.Let you present weather, NOTAM and documentation. Work with "wxsampler" (separate project) which recieve, save and makes WINDREP and METAR based on the Oregon WMR968/918...
102.4 KB  
Programming  -  ncc 2.6
ncc application is a compiler that produces program analysis information. ncc is a decent replacement of cflow and cscope able to analyse any program using the gcc compiler. The program also incliudes a graphical call-graph navigator and source...
81.92 KB  
Programming  -  JDE Usages 0.9.1
A plugin for JDEE (Java Development Environment for Emacs) which can gather and display up to date usage (ie find callers) information for a java method in all classes in the classpath.
213.76 KB  
Programming  -  Mozart Development Environment 1.0
A framework for user-extensible compilers and development tools, including a Java-to-Java extensible compiler, ideal for Java code refactoring. Also includes the new LX programming language.
452.18 KB  
Programming  -  JBuilder JDK 1.6 Extension Compiler 1.0
This opentool adds a new compiler option to the project properties build java page for compiling projects using JDK 1.6 (JDK 6) language extensions in JBuilder.
87.84 KB  
Libraries  -  Runabout 5.0
The Runabout is an extension of the Java libraries that adds two-argument multi-dispatch to Java without changing the language or the VM. It uses reflection to find visit methods, which are invoked using dynamically generated and loaded code....
28.67 KB  
Utilities  -  Hydraulix 1.1
Simple calculator for hydraulic fire sprinkler calculations. Functions: - Calculate friction loss (Hazen-Williams formula) - Calculate flow velocity - Calculate flow from a sprinkler - Calculate pressure in...
512 KB  
Education  -  IvyTechBloomington 1.0.0.0
Ivy Tech Bloomington helpful information. Information includes student resources contact (e-mail, phone), web links, maps , social media contact and much more. Requirements: Windows Phone 8.1, Windows Phone 8, Windows Phone 7.5
1024 KB  
Weather  -  Let Me Hear 1.0.0.0
Every individual has the Right to Know the information. Information is key for anyone's success. World is in a situation of going towards un manageable amount of information reaching everyone. Still there are individuals who has to depend...
1024 KB  
Social Networking  -  Platforma 2011 1.0.0.0
This app is only IN RUSSIAN language. Thi is the client for major Microsoft Russia conference Platforma 2011 that allows attendees to see agenda, speakers, sessions and venue information. Again, it's only in Russian language. App was...
1024 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
Linux Software  -  wpCache® WordPress HTTP Cache 1.9
wpCache® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCache® decreases dramatically the page...
3.51 MB  
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  Math::GMPf 0.29
Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.
30.72 KB  
Programming  -  Net::Wire10 1.08
Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...
30.72 KB  
Programming  -  logilab-common 0.56.2
a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...
174.08 KB  
Programming  -  OpenSSL for linux 1.0.0a
The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...
3.83 MB