154 search results - page 1 / 31 » The PER Model of Abstract Non-interference |
105
click to vote
FMCAD
2008
Springer
15 years 9 days ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
ICTCS
2007
Springer
15 years 4 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
SAS
2005
Springer
15 years 4 months ago
2005
Springer
84
Voted
QSHINE
2005
IEEE
15 years 4 months ago
2005
IEEE
Abstract -- In this paper, we study the provision of perclass QoS for IEEE 802.11e Enhanced Distributed Channel Access (EDCA) WLANs. We propose two mechanisms, called BIWF-SP and I...
ACNS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Web advertisers prefer the cost-per-action (CPA) advertisement model whereby an advertiser pays a web publisher according to the actual amount of transactions, rather tha...