3420 search results - page 22 / 684 » A Language-Based Approach to Security |
CCS
2003
ACM
14 years 2 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
ESORICS
2012
Springer
11 years 11 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
DSVIS
2003
Springer
14 years 2 months ago
2003
Springer
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on beh...
CASES
2010
ACM
13 years 6 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
HICSS
2009
IEEE
14 years 21 hour ago
2009
IEEE
Security of e-voting systems does not only depend on the voting protocol 1 or the software used but concerns the whole system with all its components. To guarantee security a holi...