739 search results - page 73 / 148 » Security Analysis of IEEE 802.16 |
152
click to vote
CLADE
2008
IEEE
15 years 8 months ago
2008
IEEE
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...
134
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
In recent research it turned out that Boolean verification of digital signatures in the context of WSSecurity is likely to fail: If parts of a SOAP message are signed and the sig...
177
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
165
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
167
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
—Web-based systems commonly face unique set of vulnerabilities and security threats due to their high exposure, access by browsers, and integration with databases. In this paper ...