3420 search results - page 136 / 684 » A Language-Based Approach to Security |
138
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
135
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple q...
141
click to vote
XMLSEC
2003
ACM
15 years 9 months ago
2003
ACM
The information on the web is growing at a very fast pace. In this ever-accumulating data, the volume of information represented in XML format is on the rise in recent times. An o...
134
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
130
click to vote
GRID
2006
Springer
15 years 3 months ago
2006
Springer
Security underpins Grids and e-Research. Without a robust, reliable and simple Grid security infrastructure combined with commonly accepted security practices, large portions of th...