1581 search results - page 232 / 317 » Mechanizing Inductive Reasoning |
FC
2009
Springer
15 years 6 months ago
2009
Springer
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
114
click to vote
ASIAMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...
106
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
103
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Living cells are the product of gene expression programs that involve the regulated transcription of thousands of genes. The elucidation of transcriptional regulatory networks in ...