1150 search results - page 80 / 230 » Specifying Information-Flow Controls |
MMNS
2007
13 years 11 months ago
2007
We propose an admission control approach for IPTV in which decisions to admit new flows are based on effective bandwidth estimates calculated using empirical traffic measurement. W...
DBSEC
2006
13 years 11 months ago
2006
Traditional access control models are often found to be inadequate for digital libraries. This is because the user population for digital libraries is very dynamic and not complete...
AUTOMATICA
2006
13 years 10 months ago
2006
A simulation-based optimization framework involving simultaneous perturbation stochastic approximation (SPSA) is presented as a means for optimally specifying parameters of intern...
INFOCOM
2012
IEEE
12 years 25 days ago
2012
IEEE
—Access control is one of the most important security mechanisms in cloud computing. Attribute-based access control provides a flexible approach that allows data owners to integ...
FSEN
2009
Springer
14 years 5 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...