946 search results - page 136 / 190 » Process Algebra and Non-Interference |
82
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
107
click to vote
PEWASUN
2006
ACM
15 years 6 months ago
2006
ACM
Understanding the performance of backoff algorithms in multihop ad hoc networks is a key feature to design efficient Medium Access Protocols for wireless networks. The 802.11 bac...
82
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
130
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
94
Voted
IWIA
2005
IEEE
15 years 6 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...