1788 search results - page 201 / 358 » Integrating Security into the Curriculum |
201
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
149
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
165
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
In MRI research labs, algorithms are typically implemented in MATLAB or IDL. If performance is an issue they are ported to C and integrated with interpreted systems, not fully uti...
200
click to vote
ASIACRYPT
1992
Springer
15 years 10 months ago
1992
Springer
Collision resistant hash functions are an important basic tool for cryptographic applications such as digital signature schemes and integrity protection based on "fingerprinti...
172
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Wireless sensor networks and Radio Frequency Identifiers are becoming mainstream applications of ubiquitous computing. They are slowly being integrated into our infrastructure and ...