690 search results - page 47 / 138 » Extended Software Architecture Based on Security Patterns |
155
Voted
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
192
Voted
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
104
click to vote
ISPEC
2005
Springer
15 years 9 months ago
2005
Springer
We present an architecture for detecting “zero-day” worms and viruses in incoming email. Our main idea is to intercept every incoming message, prescan it for potentially danger...
131
click to vote
SOSP
2001
ACM
16 years 21 days ago
2001
ACM
Recent efforts to add new services to the Internet have increased interest in software-based routers that are easy to extend and evolve. This paper describes our experiences using...
151
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Secure group communication protocols, in particular multi-party key agreement and update algorithms, help promote traditional and new Internet multi-party applications such as vid...