623 search results - page 102 / 125 » Declarative Network Verification |
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
We know how to build secure systems but for security measures to be truly effective it is necessary to use keys which are far too large for people to commit to memory. The consequ...
ECUMN
2007
Springer
14 years 2 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
AINA
2005
IEEE
14 years 2 months ago
2005
IEEE
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
NDSS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
NDSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Many business transactions on the Internet occur between strangers, that is, between entities with no prior relationship and no common security domain. Traditional security approa...