414 search results - page 19 / 83 » Secure Border Control Processes |
78
Voted
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Today, there is a variety of systems that support business process as a whole or partially. However, normative systems are not appropriate for some domains (e.g. health care) as a...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
114
click to vote
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
The NuBric behaviour control framework (BCF) is a near-real-time framework written entirely in Java based on the paradigms of both role based access control (RBAC) and policy base...
102
click to vote
ARESEC
2011
13 years 11 months ago
2011
—We discuss some security weaknesses of Scalance wireless access points and clients. These devices, developed by Siemens, are commonly used for wireless communication in network ...