4330 search results - page 155 / 866 » Analyzing security architectures |
155
click to vote
ACISP
2005
Springer
15 years 11 months ago
2005
Springer
The limited flexibility of the Internet to support mobility has motivated many researchers to look for alternative architectures. One such effort that combines security and multi...
195
Voted
IACR
2011
14 years 5 months ago
2011
—Cloud computing is a style of computing in which dynamically scalable and commonly virtualized resources are provided as a service over the Internet. This paper, first presents ...
157
click to vote
FORTE
2004
15 years 7 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
147
Voted
CISS
2010
IEEE
14 years 9 months ago
2010
IEEE
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
160
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...