Sciweavers

3468 search results - page 15 / 694
» An open logical framework
Sort
View
EUROPKI
2007
Springer
14 years 2 months ago
OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules
Abstract. The private keys used in a PKI are its most important asset. Protect these keys from unauthorised use or disclosure is essential to secure a PKI. Relying parties need ass...
Jean Everson Martina, Túlio Cicero Salvaro ...
JCP
2008
104views more  JCP 2008»
13 years 11 months ago
Trusted Decision Mechanism Based on Fuzzy Logic for Open Network
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
Lin Zhang, Ruchuan Wang, Haiyan Wang
FCCM
2005
IEEE
155views VLSI» more  FCCM 2005»
14 years 4 months ago
An Open TCP/IP Core for Reconfigurable Logic
Apostolos Dollas, Ioannis Ermis, Iosif Koidis, Ioa...
BIRTHDAY
2005
Springer
14 years 4 months ago
Open Problems in Logic and Games
Johan van Benthem
BIRTHDAY
2005
Springer
14 years 4 months ago
Modal Logics for Metric Spaces: Open Problems
Agi Kurucz, Frank Wolter, Michael Zakharyaschev