1679 search results - page 64 / 336 » Security Properties and CSP |
140
click to vote
MODELS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
147
click to vote
LISP
2002
15 years 5 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
157
click to vote
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
To be efficient, data protection algorithms should generally exploit the properties of the media information in the transform domain. In this paper, we will advocate the use of no...
138
Voted
RECONFIG
2008
IEEE
16 years 14 days ago
2008
IEEE
Confidentiality and integrity of bitstreams and authenticated update of FPGA configurations are fundamental to trusted computing on reconfigurable technology. In this paper, we pr...
134
click to vote
COMCOM
2000
15 years 6 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...