close
1.

電子ブック

EB
Lorenzo Donatiello, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2000
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chairs
Symposium Committee
Program Committee
Access Control I
Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers / A. Herzberg ; Y. Mass ; J. Mihaeli ; D. Naor ; Y. Ravid
A Security Infrastructure for Distributed Java Applications / D. Balfanz ; D. Dean ; M. Spreitzer
A Practically Implementable and Tractable Delegation Logic / N. Li ; B. Grosof ; J. Feigenbaum
Applications of Cryptography
Practical Techniques for Searches on Encrypted Data / D. Song ; D. Wagner ; A. Perrig
Efficient Authentication and Signing of Multicast Streams over Lossy Channels / R. Canetti ; D. Tygar
Panel: Is Electronic Privacy Achievable?
Is Electronic Privacy Achievable? / C. Irvine ; T. Levin
Privacy Technology Lessons from Healthcare / R. Anderson
Protocol Analysis and Design
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols / J. Clark ; J. Jacob
Authentication Tests / J. Guttman ; F. Thayer
Protocol-Independent Secrecy / J. Millen ; H. Ruess
Panel: Will Open Source Really Improve System Security?
Robust Nonproprietary Software / P. Neumann
Security and Source Code Access: Issues and Realities / S. Lipner
Open Source in Security: Visiting the Bizarre / F. Schneider
Will Openish Source Really Improve Security / G. McGraw
Intrusion Detection
Using Conservation of Flow as a Security Mechanism in Network Protocols / J. Hughes ; T. Aura ; M. Bishop
Logic Induction of Valid Behavior Specifications for Intrusion Detection / C. Ko
Assurance
Using Model Checking to Analyze Network Vulnerabilities / R. Ritchey ; P. Ammann
Verifying the EROS Confinement Mechanism / J. Shapiro ; S. Weber
Fang: A Firewall Analysis Engine / A. Mayer ; A. Wool ; E. Ziskind
Key Management
A More Efficient Use of Delta-CRLs / D. Cooper
An Efficient, Dynamic and Trust Preserving Public Key Infrastructure / A. Levi ; M. Caglayan
Kronos: A Scalable Group Re-Keying Approach for Secure Multicast / S. Setia ; S. Koussih ; S. Jajodia ; E. Harder
Access Control II
LOMAC: Low Water-Mark Integrity Protection for COTS Environments / T. Fraser
IRM Enforcement of Java Stack Inspection / U. Erlingsson
Author Index
Message from the Program Chairs
Symposium Committee
Program Committee
2.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
目次情報: 続きを見る
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
Reactive and Real-Time Systems / Track I:
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation / J. Magee ; J. Kramer ; B. Nuseibeh ; D. Bush ; J. Sonander
Problems and Deficiencies of UML as a Requirements Specification Language / M. Glinz
Model Checking Implicit-Invocation Systems / D. Garlan ; S. Khersonsky
Specification and Analysis of Timed and Functional TRMCS Behaviours / M. Cioffi ; F. Corradini
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application / L. A. Campbell ; B. H. C. Cheng
Duration Properties over Real Time System Designs / V. Braberman ; F. Pieniazek
TRMCS in TCOZ / J. Liu ; J. S. Dong ; J. Sun
Quantitative and Non-Functional Qualities / Track II:
The Declarative Problem Frame: Designing Systems that Create and Use Norms / R. J. Wieringa
Superposing Connectors / M. Wermelinger ; A. Lopes ; J. L. Fiadeiro
Issues in Analyzing the Behavior of Event Dispatching Systems / G. Bricconi ; E. Di Nitto ; E. Tracanella
Design and Development Assessment / S. L. Cornford ; M. S. Feather ; J. C. Kelly ; T. W. Larson ; B. Sigal ; J. D. Kiper
Formalising ERP Selection Criteria / X. B. Illa ; X. Franch ; J. A. Pastor
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models / F. T. Sheldon ; S. Grenier ; M. Benzinger
Software Architecture Analysis Based on Statechart Semantics / M. S. Dias ; M. E. R. Vieira
[In]completeness, [In]consistency and [Sufficient] Correctness
Using XML to Build Consistency Rules for Distributed Specifications / A. Zisman ; W. Emmerich ; A. Finkelstein
Dependency Relations between Models in the Unified Process / C. Pons ; R. Giandini ; G. Baum
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions / O. Raz ; M. Shaw
Formal Tools for Managing Inconsistency and Change in RE / A. K. Ghose
The Complexity of TRMCS-like Spiral Specification / T. Menzies
The Dangerous "All" in Specifications / D. M. Berry ; E. Kamsties
Design Guidance through the Controlled Application of Constraints / A. G. Cass ; L. Osterweil
Author Index
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
3.

電子ブック

EB
Asia and South Pacific Design Automation Conference 2000, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2000
所蔵情報: loading…
4.

電子ブック

EB
IPCC 2000, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
5.

電子ブック

EB
Ellen M. Sentovich, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Press, 2000
所蔵情報: loading…
6.

電子ブック

EB
Charles E. Perkins, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
7.

電子ブック

EB
Paul A. Fishwick, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Society for Computer Simulation International, 2000
所蔵情報: loading…
8.

電子ブック

EB
Jed Donnelley, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
9.

電子ブック

EB
ACM Conference on Document Processing Systems, Association for Computing Machinery-Digital Library., SIGGRAPH.
出版情報: ACM Digital Library Proceedings , ACM, 2000
所蔵情報: loading…
10.

電子ブック

EB
Sinitsa
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼