31 search results - page 3 / 7 » Secure Enforcement for Global Process Specifications |
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe the design of a Windows file-system directory service that ensures the persistence, integrity, privacy, syntactic legality, and case-insensitive uniqueness of the name...
57
Voted
BIS
2008
14 years 11 months ago
2008
Abstract. Security issues have to be carefully considered for information systems that support the business processes of an organization, in particular, when these systems build on...
POLICY
2001
Springer
15 years 2 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...