414 search results - page 27 / 83 » Secure Border Control Processes |
74
Voted
ACSD
2008
IEEE
15 years 6 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
110
click to vote
ECUMN
2007
Springer
15 years 6 months ago
2007
Springer
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
SUTC
2006
IEEE
15 years 5 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
SIGOPSE
1998
ACM
15 years 4 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
76
Voted
ACSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...