2687 search results - page 76 / 538 » Formal Analysis of PKCS |
96
Voted
JSW
2008
15 years 17 days 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...
116
Voted
SOFSEM
2009
Springer
15 years 9 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...
101
click to vote
TPHOL
2007
IEEE
15 years 6 months 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,...
109
click to vote
FDL
2006
IEEE
15 years 6 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...
101
Voted
INFOCOM
2006
IEEE
15 years 6 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...