3420 search results - page 105 / 684 » A Language-Based Approach to Security |
150
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
124
Voted
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
To better protect information systems, computation time data protection needs to be considered such that even when the system is partially compromised, the security of the system ...
126
Voted
EUROPKI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
131
click to vote
IWAN
2004
Springer
15 years 9 months ago
2004
Springer
Concast is a customizable many-to-one network-layer communication service. Although programmable services like concast can improve the efficiency of group applications, accompanyi...
140
Voted
CHI
2008
ACM
15 years 5 months ago
2008
ACM
Non-expert users face a dilemma when making security decisions. Their security often cannot be fully automated for them, yet they generally lack both the motivation and technical ...