1246 search results - page 174 / 250 » Tool Support for Helping the Use of Frameworks |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
WCRE
1999
IEEE
14 years 1 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
VL
2008
IEEE
14 years 3 months ago
2008
IEEE
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
OSDI
2000
ACM
13 years 10 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...