1587 search results - page 62 / 318 » Security Patterns and Secure Systems Design Using UML |
124
Voted
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
The Paranoid file system is an encrypted, secure, global file system with user managed access control. The system provides efficient peer-to-peer application transparent file ...
107
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...
108
Voted
TCS
2010
15 years 29 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
133
Voted
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
96
Voted
EUROMICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...