624 search results - page 52 / 125 » Application of Lightweight Formal Methods to Software Securi... |
144
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
205
click to vote
CLUSTER
1999
IEEE
15 years 3 months ago
1999
IEEE
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement real time cryptographic services. In this paper we evaluate the use of software b...
124
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
133
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
139
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
A data–intensive Web application is a Web-enabled software system for the publication and management of large data collections, typically stored in one or more database manageme...