4511 search results - page 76 / 903 » Observation Based System Security |
133
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
135
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
148
click to vote
FOSSACS
2004
Springer
15 years 11 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...
209
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented Architectures (SOA) facilitate the provision and orchestration of business services to enable a faster adoption to changing business demands. Web Services provide...
166
click to vote
INFOCOM
2006
IEEE
16 years 8 days ago
2006
IEEE
— Until recently, the problem of localization in wireless networks has been mainly studied in a non-adversarial setting. Only recently, a number of solutions have been proposed t...