Sciweavers

314 search results - page 16 / 63
» ITOSS: An Integrated Toolkit For Operating System Security
Sort
View
ACSAC
2003
IEEE
14 years 2 months ago
An Editor for Adaptive XML-Based Policy Management of IPsec
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
Raj Mohan, Timothy E. Levin, Cynthia E. Irvine
IWIA
2005
IEEE
14 years 2 months ago
Enforcing Messaging Security Policies
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
Jaromir Likavec, Stephen D. Wolthusen
CCGRID
2006
IEEE
14 years 2 months ago
DotGrid: A .NET-based Infrastructure for Global Grid Computing
Recently, Grid infrastructures have provided wide integrated use of resources. DotGrid intends to introduce required Grid services and toolkits that are implemented as a layer wra...
Alireza Poshtkohi, Ali Haj Abutalebi, Leila Mahmou...
EUROPAR
2003
Springer
14 years 1 months ago
Two Dimensional Airfoil Optimisation Using CFD in a Grid Computing Environment
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...
Wenbin Song, Andy J. Keane, M. Hakki Eres, Graeme ...
JCS
2002
118views more  JCS 2002»
13 years 8 months ago
Verified Formal Security Models for Multiapplicative Smart Cards
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...