577 search results - page 39 / 116 » Engineering Sufficiently Secure Computing |
122
Voted
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...
151
Voted
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
99
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
102
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
149
Voted
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
The Border Gateway Protocol (BGP) is a fundamental building block of the Internet infrastructure. However, due to the implicit trust assumption among networks, Internet routing re...