Search
CSV
RISEnergy efficiency of IP-over-Elastic optical networks with sliceable optical transponder
Publisher: IEEE
Year: 2014
Cored network biomarker of carcinogenesis from early and late stage bladder cancer samples
Publisher: IEEE
Year: 2014
A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving
Year: 2016
Abstract:
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all deferent ...
OFDM and MIMO OFDM for intensity-modulated direct-detection systems
Publisher: IEEE
Year: 2014
Identification of dynamic systems using a differential evolution-based recurrent fuzzy system
Publisher: IEEE
Year: 2014
On Complexity of Effective Data Granulation in Databases
Publisher: IEEE
Year: 2014
Preventing Heartbleed
Publisher: IEEE
Year: 2014
Design and application of an enhanced GA
Publisher: IEEE
Year: 2014
Cryptanalysis of the dragonfly key exchange protocol
Publisher: IET
Year: 2014
Composing Kerberos and Multimedia Internet KEYing (MIKEY) for AuthenticatedTransport of Group Keys
Publisher: IEEE
Year: 2014