Searching...
Advanced Search
Publication
1996
Issue No. 1 - January
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
IEEE Transactions on Software Engineering
January 1996 (vol. 22 no. 1)
ISSN: 0098-5589
Table of Contents
Editorial
(Abstract)
pp. 1-2
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
Guest Editorial: Introduction to the Special Section
(Abstract)
pp. 3-5
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
SPECIAL SECTION-BEST PAPERS OF THE IEEE SYMPOSIUM ON SECURITY AND PRIVACY 1994
Prudent Engineering Practice for Cryptographic Protocols
(Abstract)
MartÍn Abadi
Roger Needham
pp. 6-15
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Model for Secure Protocols and Their Compositions
(Abstract)
Nevin Heintze
J.d. Tygar
pp. 16-30
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Secure Group Membership Protocol
(Abstract)
Michael K. Reiter
pp. 31-42
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Computational Issues in Secure Interoperation
(Abstract)
Li Gong
Xiaolei Qian
pp. 43-52
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A General Theory of Composition for a Class of "Possibilistic" Properties
(Abstract)
John McLean
pp. 53-67
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
REGULAR PAPER
Property-Based Software Engineering Measurement
(Abstract)
Lionel C. Briand
Sandro Morasca
Victor R. Basili
pp. 68-86
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
1995 Reviewers List
(Abstract)
pp. 87-93
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
