2687 search results - page 76 / 538 » Formal Analysis of PKCS |
149
click to vote
JSW
2008
15 years 5 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
164
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
149
click to vote
TPHOL
2007
IEEE
16 years 3 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
167
click to vote
FDL
2006
IEEE
15 years 12 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
159
click to vote
INFOCOM
2006
IEEE
15 years 12 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...