2687 search results - page 179 / 538 » Formal Analysis of PKCS |
147
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
120
click to vote
PRDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
136
click to vote
ICSNC
2007
IEEE
15 years 10 months ago
2007
IEEE
This article presents a new trend in computerized medical image analysis of breast cancer features, existing in mammograms (grey scale 2D images), based on recent approaches of th...
129
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
168
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...