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 30.067.962 Times

Java + information flow 3.0

  Date Added: January 11, 2010  |  Visits: 743

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
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  -  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  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 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  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB