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

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

Serving Software Downloads in 956 Categories, Downloaded 50.078.282 Times

SEFlow 0.1.1

Company: Freebyte
Date Added: July 01, 2013  |  Visits: 399

SEFlow

Report Broken Link
Printer Friendly Version


Product Homepage
Download (37 downloads)



Technology<br /><br />mathematical policy model: SEFlow tries to model the policy using mathematical primitives. The core aims to be able to combine small sub-policies by computing operations like unions, intersections and cartesian products between them, making a more orthogonal approach to policy design possible.<br /><br />Possible applications<br /><br />license management: In a sufficiently large development environment, there is often a large pool of data governed under a variety of licenses to be combined to create the final product. It becomes important to keep track of the different licenses. This can conveniently be done by adding licensing information to the security contexts of the files. This way, the operating system kernel can keep track of what licensing conditions apply to the resulting data.<br /><br />strategic approach to security: Using the license management described above, it becomes possible to employ a mechanism similar to the tainting mechanism of the Linux kernel on the operating system layer. Critical system facilities can be constrained to interference by open source data, thereby ensuring better possibilities for investigating and fixing possible problems.<br /><br />State of the project<br /><br />Please note that the applications described above are not possible yet. The project is currently in a state of prototyping and could serve as a technology demo. What you can do now is to look at the already existing code and to experiment with it. There is the possibility to create a minimal policy which does not provide any security but instead makes it easy to extend upon it. Computing cartesian products of sub-policies is also working. The provide_sandbox macro can be used as a facility to test the security contexts without interfering with the running system.<br />

Requirements: No special requirements
Platforms: *nix, Linux
Keyword: Controlling Data Flow Information Inside Policy Processing Security Seflow Selinux System Technology
Users rating: 0/10

License: Freeware Size: 20.48 KB
USER REVIEWS
More Reviews or Write Review


SEFLOW RELATED
Programming  -  Data-Flow Analysis Framework for Java 1.0
A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the...
141.39 KB  
Utilities  -  SMTPUtils 1.0
SMTPUtils is a tool for the administrators of network, data processing security personnel and students. It can be utilized to carry out verifications to the MTA in search of Open relay, working perimeter antivirus, anti Spam system and more
409.6 KB  
Development Tools  -  Aluminium 0.4
Aluminium is a visual data-flow(-ish) programming language, designed for small web applications. It turned out as a visual data-flow based programming language. Aluminium was started as an effort to find a different way of...
 
Teaching Tools  -  Grass GIS for Mac OS X 6.4.1-3
Commonly referred to as GRASS, this is a free Geographic Information System (GIS) used for geospatial data management and analysis, image processing, graphics/maps production, spatial modeling, and visualization. GRASS is currently used in...
59 MB  
Automotive Information Databases  -  Adeptia Data Integration Software 5.1
Adeptia is UNIQUE because it enables automation of not just system-to-system (straight thru) data flows but also the more common human-to-system or system-to-human business processes where business users need to interact with running data flows to...
133.51 MB  
Development Editors  -  SPASE Data Model Tools 1.0.1
SPASE Model is a collection of tools for working with the structured data model information. Tools can convert the relational version of the data model into various expressions, including XSD, XMI and PDF documentation.
276.48 KB  
Development Tools  -  FlowDesigner 1.0
FlowDesigner is a free (GPL/LGPL) data flow oriented development environment. It can be used to build complex applications by combining small, reusable building blocks. In some ways, it is similar to both Simulink and LabView, but is hardly a...
 
Virus Removers  -  SI Internet Security 3.0.0.0
Free, self-updating software gives your computer full security, protecting your valuable data from any harm. SI Internet Security protects your PC from all types of viruses. Download Shield Downloading files, music, documents, any files...
1.71 MB  
MP3 Tools  -  AssureFiles Secure File Sharing 5.1.8.1
Secure File Sharing With Digital Rights Management.Safeguard file sharing without boundaries. AssureFiles Secure File Sharing combines AES 256 bit encryption with digital rights management to give businesses persistent control over all stages of...
3.99 MB  
Libraries  -  FxEngine Framework 4.8
The FxEngine is an Open C++ Framework under LGPL license. The FxEngine Framework simplifies the plugin architecture for the data flow processing. It provides a full control to the plugin architecture for applications that require custom...
2.5 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, SECURITY TOOLS
Linux Software  -  EasyEDA PCB Designer for Linux 2.0.0
EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...
34.4 MB  
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  
Security Tools  -  Password Generator 2.0
Password Generator is a free, powerful password generator, thanks to which we can create very strong passwords. The program allows you to generate passwords that are easy to read, remember or write, as well as completely unusual for human language...
20.36 MB  
Security Tools  -  Free AntiSpyware 7.2.5
As powerful and professional anti-spyware software, Free AntiSpyware has ability to detect & stop the latest and most malicious programs that are doing harm to your computer and breaking your privacy. This free spyware remover software helps...
128.08 MB  
Security Tools  -  paraproxy 1.1
paraproxy is a supplement library for paramiko which adds support for SSH2 proxy commands. #md5=0c7041e8d2d7e49b09df526bba3efb28 #md5=1fbb4f888f40a01439ff27458c6210eb #md5=493c0f426e376427c30f3f39ebc8dac1
20.48 KB  
Security Tools  -  pam_smxs 1.6
pam_smxs is a PAM module that authenticates a user using challenge-response. All tokens that support ANSI X9.9 are currently supported and it provides full support for CryptoCard RB1 tokens.
522.24 KB  
Security Tools  -  DoudouLinux 2011-11
DoudouLinux [1] is a system specially designed for children to make computer use as easy and pleasant as possible for them (and for their parents too! [2]). DoudouLinux provides tens of applications that suit children from 2 to 12 years and tries...
964.17 MB