8644 search results - page 262 / 1729 » On the Composition of Secure Systems |
212
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
221
Voted
CSREASAM
2009
15 years 7 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
212
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
173
click to vote
VISUALIZATION
2003
IEEE
16 years 8 hour ago
2003
IEEE
Hand-crafted illustrations are often more effective than photographs for conveying the shape and important features of an object, but they require expertise and time to produce. W...
185
click to vote
ACSD
1998
IEEE
15 years 11 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...